diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 9c2f4e6f20..a4d9f3d7c5 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -264,6 +264,9 @@ OPTIMIZE_OPTION := @OPTIMIZE_OPTION@ # information to allow gprof to be used to get execution frequencies. #ENABLE_PROFILING = 1 +# When ENABLE_DOCS is disabled, docs/ will not be built. +ENABLE_DOCS = @ENABLE_DOCS@ + # When ENABLE_DOXYGEN is enabled, the doxygen documentation will be built ENABLE_DOXYGEN = @ENABLE_DOXYGEN@ |