On 19 Feb., 07:02, Simon King simon.k...@uni-jena.de wrote:
No, delete the output from the doctree. That is, rm -rf doc/output. Then
sage -b sage -docbuild reference html.
I am afraid this did not work. I deleted the output, and even after
sage -ba, sage -docbuild did not do any good.
The
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.
--
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this
Hi Volker,
On 18 Feb., 21:45, Volker Braun vbraun.n...@gmail.com 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
No, delete the output from the doctree. That is, rm -rf doc/output. Then
sage -b sage -docbuild reference html.
Though I didn't quite understand which file you deleted. I don't have a
pushout.rst file anywhere.
--
To post to this group, send email to sage-support@googlegroups.com
To
If you're really missing files from SAGE_ROOT/devel/sage/doc/en/reference,
then you could just manually copy them from an old installation of Sage
(maybe just copy over the whole directory), or copy them from the main Sage
spkg (sage-4.6.2.spkg), or you could revert those files from a
Hi Volker
On 18 Feb., 22:07, Volker Braun vbraun.n...@gmail.com wrote:
No, delete the output from the doctree. That is, rm -rf doc/output. Then
sage -b sage -docbuild reference html.
I am afraid this did not work. I deleted the output, and even after
sage -ba, sage -docbuild did not do any