 | 1 | initial version |
I see that when building sage with the commands
git pull
make
the majority of time is employed in building the documentation. Actually I'm not interested in building the documentation on my machine (I usually have an internet connection and I usually browse the documentation online).
Is it possible to ignore the documentation when building sage? How can I do that?
| | 2 | No.2 Revision |
I see that sometimes when building sage with the commands
git pull
make
the majority of time is employed in building the documentation. Actually I'm not interested in building the documentation on my machine (I usually have an internet connection and I usually browse the documentation online).
Is it possible to ignore the documentation when building sage? How can I do that?
| | 3 | retagged |
I see that sometimes when building sage with the commands
git pull
make
the majority of time is employed in building the documentation. Actually I'm not interested in building the documentation on my machine (I usually have an internet connection and I usually browse the documentation online).
Is it possible to ignore the documentation when building sage? How can I do that?
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.