diff --git a/doc/generate_documentation.sh b/doc/generate_documentation.sh index e5defefe3..afd9786f5 100755 --- a/doc/generate_documentation.sh +++ b/doc/generate_documentation.sh @@ -1,4 +1,5 @@ #!/bin/bash +# This script depends on g++, cmake, git, and make to be installed POSIXLY_CORRECT=1 @@ -8,30 +9,6 @@ GEN_PDF=false GEN_ALL=false INSTALL_DOX=false -command -v g++ -if [ $? -ne "0" ]; then -echo "Please install g++" -exit 1 -fi - -command -v cmake -if [ $? -ne "0" ]; then -echo "Please install cmake" -exit 1 -fi - -command -v git -if [ $? -ne "0" ]; then -echo "Please install git" -exit 1 -fi - -command -v make -if [ $? -ne "0" ]; then -echo "Please install make" -exit 1 -fi - # Checking arguments and setting appropriate option variables for var in "$@"