#!/bin/bash
set -e

[[ -z "${PLUGIN_DOXYFILE}" ]] && exit 1 || DOXYFILE=$(realpath "${PLUGIN_DOXYFILE}")

DOCS_PATH=$(dirname $DOXYFILE)

echo ""
echo "**** environment: ****"
echo "* DOXYFILE=${DOXYFILE}"
echo "* DOCS_PATH=${DOCS_PATH}"
echo "**********************"
echo ""

echo "**** build html ****"
/usr/lib/m.css/documentation/doxygen.py $DOXYFILE

echo "**** build latex ****"
cd $DOCS_PATH/latex
make
mv refman.pdf $DOCS_PATH/html/