First time here? Check out the FAQ!
answered 2014-08-19 11:37:06 +0100
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