Index: tools/document.sh
===================================================================
diff -u -r4bdb012848d1b59be5edc31d677b77b9d95f6190 -r8d1f61499650e23dac6f857e48daad42180db949
--- tools/document.sh	(.../document.sh)	(revision 4bdb012848d1b59be5edc31d677b77b9d95f6190)
+++ tools/document.sh	(.../document.sh)	(revision 8d1f61499650e23dac6f857e48daad42180db949)
@@ -17,7 +17,12 @@
 
 CURR_DIR=$(pwd)
 if [[ "$@" == "*--setup*" ]]; then
-    sudo apt-get install python3-sphinx
+    if [[ $(dpkg-query -W -f='${Status}' python3-sphinx | grep -c "ok installed") -eq 0 ]]; then 
+        echo "Please run the following required packages: "
+        echo "sudo apt-get install python3-sphinx"
+        echo "Exiting..."
+        exit 1
+    fi
     mkdir -p ../docs/
     cd ../docs/