Don't compile documentation by default.