#!/bin/bash

# Remove the directories to make sure that we don't have rebuild problems
# that can sometimes happen with doxygen

rm -r html

# Create new directories manually since the doxygen exe under windows
# seems to be messing this up.

mkdir html

# Build the documentation

if [ $TRILINOS_HOME ]; then
  echo "TRILINOS_HOME has already been set!"
else
  echo "TRILINOS_HOME has not been set.  Setting it!"
  export TRILINOS_HOME=`pwd`/../../..
fi

echo
echo "Generating main documentation page for MueLu ..."
echo

doxygen Doxyfile
