diff options
Diffstat (limited to 'src/scripts/build_docs.py')
| -rwxr-xr-x | src/scripts/build_docs.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/scripts/build_docs.py b/src/scripts/build_docs.py index ca055ac05..1787016e0 100755 --- a/src/scripts/build_docs.py +++ b/src/scripts/build_docs.py @@ -175,6 +175,7 @@ def main(args=None): touch(cmd[1]) else: run_and_check(cmd) + return 0 if __name__ == '__main__': sys.exit(main()) |