Disable tests and documentation compilation and/or installation, speeds up compilation
This page took 0.042769 seconds and 3 git commands to generate.