Hello!
Today I noticed this catalog on my system:
/usr/share/doc/sage/output/doctrees
It takes about 850 MB of disk space. There are also separate folders
/usr/share/doc/sage/(en,pt,tr,ru,de,fr)
/usr/share/doc/sage/output/html/*
containing the RST sources and HTML files of Sage reference and all
related stuff.
So my question is: what is this 'doctrees' folder is actually for? Do
we really need it? Is it safe to remove it?
And by the way, is it (will it be) possible to install only a
selected set of languages for the Sage help files?
Regards,
Vladimir
-----
<[email protected]>
