Hi Volker,

On 18 Feb., 21:45, Volker Braun <[email protected]> wrote:
> I also noticed that, sometimes, the incremental document building gets
> confused to the point where it falls on its face. Simplest option is to wipe
> the doc tree and rebuild the whole documentation.

How do I "wipe the doc tree"? Simply "rm -r doc/"?

And how do I then rebuild the documentation? I guess "sage -docbuild
reference html" would not work if I did "rm -r doc/".

Cheers,
Simon

-- 
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to