| 1 |
Hello! |
| 2 |
Today I noticed this catalog on my system: |
| 3 |
|
| 4 |
/usr/share/doc/sage/output/doctrees |
| 5 |
|
| 6 |
It takes about 850 MB of disk space. There are also separate folders |
| 7 |
/usr/share/doc/sage/(en,pt,tr,ru,de,fr) |
| 8 |
/usr/share/doc/sage/output/html/* |
| 9 |
containing the RST sources and HTML files of Sage reference and all |
| 10 |
related stuff. |
| 11 |
|
| 12 |
So my question is: what is this 'doctrees' folder is actually for? Do |
| 13 |
we really need it? Is it safe to remove it? |
| 14 |
|
| 15 |
And by the way, is it (will it be) possible to install only a |
| 16 |
selected set of languages for the Sage help files? |
| 17 |
|
| 18 |
Regards, |
| 19 |
Vladimir |
| 20 |
|
| 21 |
----- |
| 22 |
<v_2e@×××.net> |
Archives