diff --git a/docs/dash.sh b/docs/dash.sh
index 483346121..edc70c4e4 100755
--- a/docs/dash.sh
+++ b/docs/dash.sh
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 
 rm -f ./joker.xml
-../joker generate-xml.joke
+../joker generate-xml.joke || exit
 
 pushd dash
   rm -f ./*.html