#!/bin/bash

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 thyra ..."
echo

doxygen Doxyfile

echo
echo "Generating latex documents related to Thyra ..."
echo

./build_docs_latex

echo
echo "Generating browser doxygen documentation for all of Thyra as a single doxygen documentation collection ..."
echo

doxygen ../browser/doc/Doxyfile
