#!/bin/bash
set -e
set -o pipefail

DOCDST=../../GfA_TivaLibs/GfA_TivaLibs/gfambrtuslv.1.0/doc
PDFDIR=${DOCDST}/pdf
HTMLDIR=${DOCDST}/html

mkdir -p ${PDFDIR}
mkdir -p ${HTMLDIR}

rm -f ${PDFDIR}/*
cd latex
pdflatex refman
mv refman.pdf ../${PDFDIR}/gfambrtuslv.pdf
cd ..
rm -f ${HTMLDIR}/*
cp -t ${HTMLDIR} html/*