[doc] Make --all option work

SeisComP · Jul 11, 2022 · 697704f · 697704f
1 parent 50441b5
commit 697704f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/build-doc.py b/doc/build-doc.py
@@ -368,6 +368,8 @@ def print_usage(appname, output):
         build_man = True
     if o == '--pdf':
         build_pdf = True
+    if o == '--all':
+        allowContrib = True
 
 if not args:
     print("error: build directory not specified\n", file=sys.stderr)