Merge from upstream

jcburley · Apr 19, 2021 · fa312c0 · fa312c0
2 parents d908c08 + 051beed
commit fa312c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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