Create build-without-documentation option
When you have to try multiple builds (for example when experimenting with #569 (closed)) you have to wait so long for all the documentation pdf generations. It would be helpful to have an option to build everything except for the documentation.