From 41b5d35652d9e1d743eab048842ae3064ed1972e Mon Sep 17 00:00:00 2001
From: Revar Desmera <revarbat@gmail.com>
Date: Tue, 30 Jul 2019 12:50:56 -0700
Subject: [PATCH] Fix to error out script on invalid option.

---
 scripts/make_all_docs.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/make_all_docs.sh b/scripts/make_all_docs.sh
index 2d4f40d5..9912e016 100755
--- a/scripts/make_all_docs.sh
+++ b/scripts/make_all_docs.sh
@@ -9,6 +9,7 @@ for opt in "$@" ; do
     -f ) FORCED=$opt ;;
     -i ) IMGGEN=$opt ;;
     -d ) DISPMD=$opt ;;
+    -* ) echo "Unknown option $opt"; exit -1 ;;
     * ) FILES="$FILES $opt" ;;
   esac
 done