created script that generates the documentation

generate_docs.sh

+#!/bin/bash
+
+# Script to generate the docs
+NAME_CURRENT_FILE="`realpath \"$0\"`"
+DIRNAME_CURRENT_FILE=$(dirname $NAME_CURRENT_FILE)
+DOCS_DIR="$DIRNAME_CURRENT_FILE/docs/"
+
+
+# echo "$NAME_CURRENT_FILE"
+# echo "$DIRNAME_CURRENT_FILE"
+# echo "$DOCS_DIR"
+
+# Generate docs
+echo "Generating documentation"
+cd $DOCS_DIR
+make clean
+make html
+echo "Done"
\ No newline at end of file