#!/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 optika doxygen documentation ..."
echo

doxygen DoxyfileWeb

echo
echo "Generating doxygen browser documentation for all of optika ..."
echo

doxygen ../browser/doc/Doxyfile

echo
echo "Generating OptikaSANDReport.pdf file ..."
echo

pushd manual; make pdf ; popd
mv manual/OptikaSANDReport.pdf html/.
pushd manual; make clean ; popd
