Index: tools/document.sh
===================================================================
diff -u -rc6596d42d995bed3789849bd85c83da5a3837fac -ra08848ed6275cf2afa3bfb7f3c87709b69c224bc
--- tools/document.sh	(.../document.sh)	(revision c6596d42d995bed3789849bd85c83da5a3837fac)
+++ tools/document.sh	(.../document.sh)	(revision a08848ed6275cf2afa3bfb7f3c87709b69c224bc)
@@ -14,11 +14,16 @@
 #  @brief Generates doxygen documentation
 #
 ############################################################################
-# Assumes you have already run the following setup:
 
+
 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/