diff --git a/scripts/generate-spec-pdf.sh b/scripts/generate-spec-pdf.sh
old mode 100644
new mode 100755
index 38f94ac1b24f..575324324146
--- a/scripts/generate-spec-pdf.sh
+++ b/scripts/generate-spec-pdf.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env bash -e
 
 # NOTES:
 # "toc"                     -> treated just like another page, its location can be changed
@@ -9,6 +9,8 @@ ROOT_DIR=$THIS_SCRIPT_DIR/..
 SPEC_SRC_DIR=$ROOT_DIR/spec
 SPEC_BUILD_DIR=$ROOT_DIR/build/spec
 
+mkdir -p $SPEC_BUILD_DIR
+
 WKHTML_OPTS='--print-media-type --window-status loaded --footer-center [page] --javascript-delay 1000 --footer-font-name "Luxi Sans"'
 WKHTML_TOC="toc --xsl-style-sheet $SPEC_SRC_DIR/spec-toc.xslt"
 
@@ -19,4 +21,4 @@ echo "Making Spec.pdf with HTML files: "
 echo $SPEC_BUILD_DIR/index.html $HTML_FILES
 
 # first goes index.html, then TOC, then rest
-wkhtmltopdf $WKHTML_OPTS $SPEC_BUILD_DIR/index.html $WKHTML_TOC $HTML_FILES $SPEC_BUILD_DIR/Spec.pdf
\ No newline at end of file
+wkhtmltopdf $WKHTML_OPTS $SPEC_BUILD_DIR/index.html $WKHTML_TOC $HTML_FILES $SPEC_BUILD_DIR/Spec.pdf