On Thu, 17 Jul 2014 18:47:17 [email protected] wrote: > 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? > Hi Vladimir,
Language selection is on my TODO list but nowhere easy to implement. A lot of the rst files are used in doctests. I am not sure they have any other functions. I thought they were used by the help system but I am not so sure now. Culling may be useful since the install of sage-doc takes forever. Francois
