#!/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"