diff options
Diffstat (limited to 'build_scripts/options.py')
| -rw-r--r-- | build_scripts/options.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build_scripts/options.py b/build_scripts/options.py index 4229a2c10..db2a7e367 100644 --- a/build_scripts/options.py +++ b/build_scripts/options.py @@ -182,6 +182,8 @@ OPTION = { # This is used automatically by distutils.command.install object, to # specify the final installation location. "FINAL_INSTALL_PREFIX": option_value("prefix", remove=False), + # This is used to identify the template for doc builds + "DOC_BUILD_ONLINE": has_option("doc-build-online"), } _deprecated_option_jobs = option_value('jobs') if _deprecated_option_jobs: |