Revision history [back]

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?

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?

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?