Clean all generated docs

sphinx-build adds it's own Makefile which we need to work around or we
can decide to just remove all dirs. This would also remove custom files
someone might have put there.

Author: vmcj

doc/manual/Makefile

@@ -47,6 +47,10 @@ inplace-uninstall-l:
 clean-l:
 	rm -rf build/doctrees build/team/.doctrees
 	-$(MAKE) -C build/team clean
+	-rm -f build/html/*.html build/html/.buildinfo build/html/objects.inv build/html/searchindex.js
+	-rm -rf build/html/_*
+	-rm -f build/team/*.sty build/team/*.png build/team/*.cls build/team/*.tex build/team/*.xdy
+	-rm -f DOMjudgelogo.pdf  Makefile  latexmkjarc  latexmkrc  make.bat  python.ist
 
 maintainer-clean-l:
 	rm -rf build conf_ref.rst