summaryrefslogtreecommitdiff
path: root/bin/docs-validate.py
diff options
context:
space:
mode:
Diffstat (limited to 'bin/docs-validate.py')
-rw-r--r--bin/docs-validate.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/docs-validate.py b/bin/docs-validate.py
index c445c3f..f888c21 100644
--- a/bin/docs-validate.py
+++ b/bin/docs-validate.py
@@ -25,3 +25,4 @@ if __name__ == "__main__":
print "OK"
else:
print "Validation failed! Please correct the errors above and try again."
+ sys.exit(1)