diff options
| -rw-r--r-- | bin/docs-update-generated.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/docs-update-generated.py b/bin/docs-update-generated.py index bb5371f..9fbd95c 100644 --- a/bin/docs-update-generated.py +++ b/bin/docs-update-generated.py @@ -62,6 +62,7 @@ def generate_all(): if cp.returncode: print("Generation failed", file=sys.stderr) return False + return True if __name__ == "__main__": |