answered 2014-08-19 11:37:06 +0200
If make doc-clean does not work it is because you are not in the right directory. Go to SAGE_ROOT and run "make doc-clean && make", that should do the trick.
Nathann