diff options
-rw-r--r-- | coin_build_instructions.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coin_build_instructions.py b/coin_build_instructions.py index e4a27d264..d094d5b2a 100644 --- a/coin_build_instructions.py +++ b/coin_build_instructions.py @@ -116,6 +116,8 @@ def call_setup(python_ver): "--verbose-build"] if python_ver == "3": cmd += ["--limited-api=yes"] + else: + cmd += ["--skip-docs"] # 1.4.2019: errors in sphinx_build on openSUSE 4.2 if is_snapshot_build(): cmd += ["--snapshot-build"] |