diff options
Diffstat (limited to 'tools/docs/sphinx-build-wrapper')
| -rwxr-xr-x | tools/docs/sphinx-build-wrapper | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/docs/sphinx-build-wrapper b/tools/docs/sphinx-build-wrapper index a74998e8309a..3e6d166d4102 100755 --- a/tools/docs/sphinx-build-wrapper +++ b/tools/docs/sphinx-build-wrapper @@ -141,7 +141,7 @@ class SphinxBuilder: # parser = argparse.ArgumentParser() parser.add_argument('-j', '--jobs', type=int) - parser.add_argument('-q', '--quiet', type=int) + parser.add_argument('-q', '--quiet', action='store_true') # # Other sphinx-build arguments go as-is, so place them |