public inbox for gentoo-science@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-science] [sage-on-gentoo] too big 'doctrees' folder
@ 2014-07-17 15:47 v_2e
  2014-07-17 21:55 ` François Bissey
  0 siblings, 1 reply; 2+ messages in thread
From: v_2e @ 2014-07-17 15:47 UTC (permalink / raw
  To: gentoo-science

  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>


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2014-07-17 21:55 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-07-17 15:47 [gentoo-science] [sage-on-gentoo] too big 'doctrees' folder v_2e
2014-07-17 21:55 ` François Bissey

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox