The short answer is that "yes", you can delete the docs directory if
you want to save space. This will only break the "help" button in the
upper right corner of the notebook, which should be ok as long as you
tell the students clearly that they should use sagemath.org instead.
Are you installing from a binary distribution or did you build from source?
Is this the smaller lab on the second floor of the Science Center
(just curious)?
What's your target for space, e.g., if it fit in 600MB would that be small
enough?
William
Are those machines all Intel-based OS X boxes now? Are they
running OS X 10.5.x? I could build a binary for you that is
smaller and test it out.
-- William
Hi,
I just spent a while looking at this, and I'm really really nervous about
shrinking the binary further. The space break down is as follows:
8 makefile
8 sage
8 sage-README-osx.txt
24 README.txt
24 matplotlibrc
120 ipython
144 COPYING.txt
616 HISTORY.txt
1480 spkg
8080 examples
38368 data
64304 doc
265472 devel <--- bigger for you by default!
1122744 local
Notice that doc is trivial in size compared to local, and having
looked a bunch at
local the size there is mostly in certain libs (not binaries).
In my opinion it would be a very bad idea to shrink the sage install
much further, and would just be asking for things to break.
I did make a somewhat small binary for you, which eliminates some
cruft from the devel directory that isn't needed to run Sage. It's
here:
http://sage.math.washington.edu/home/was/tmp/sage-3.1.1-osx10.5-intel-small.tar.bz2
-- William