build sage without documentation
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?
How long does it take to build the documentation? If you have several cores, you should be building in parallel: do `export MAKE="make -j8"` followed by `make` (or in very recent versions, just `make -j8`) to build Sage with 8 parallel processes.
`make -j8` doesn't work for the documentation, since the documentation doesn't actually use `make`. `MAKE="make -j8" make` does work in all cases (because we can read the environment variable `MAKE` from Python).