[gentoo-science] [sage-on-gentoo] too big 'doctrees' folder

[gentoo-science] [sage-on-gentoo] too big 'doctrees' folder

[v_2e]

  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

----- 
 <v_2e@ukr.net>

Re: [gentoo-science] [sage-on-gentoo] too big 'doctrees' folder

[François Bissey]

On Thu, 17 Jul 2014 18:47:17 v_2e@ukr.net 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