diff options
Diffstat (limited to 'bin/docs-validate.py')
| -rw-r--r-- | bin/docs-validate.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/docs-validate.py b/bin/docs-validate.py index e53a89d..342ed43 100644 --- a/bin/docs-validate.py +++ b/bin/docs-validate.py @@ -26,3 +26,4 @@ if __name__ == "__main__": print("OK") else: print("Validation failed! Please correct the errors above and try again.") + sys.exit(1) |