From e20c9557371eacec533588d33b4bebd543ba178f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= <debian@jff-webhosting.net>
Date: Mon, 16 Nov 2015 06:58:13 +0100
Subject: Imported Upstream version 2.4.1

---
 bin/docs-validate.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bin/docs-validate.py')

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)
-- 
cgit v1.2.3