diff --git a/docs/docs.sh b/docs/docs.sh
index ec3f3899a..f2c566761 100755
--- a/docs/docs.sh
+++ b/docs/docs.sh
@@ -26,7 +26,7 @@
 # (c) 2016 solidity contributors.
 #------------------------------------------------------------------------------
 
-set -e
+set -euo pipefail
 
 script_dir="$(dirname "$0")"