#!/bin/bash
COQDOC=~/research/coq/trunk/bin/coqdoc
DIR=doc
COQDOCOPTS="--utf8 --body-only -g --latex -R . FingerTree -R /Users/mat/research/coq/safe Safe"

SOURCES="Digit.v Monoid.v DependentFingerTree.v FingerTree.v OrdSequence.v DependentSequence.v"

cd src
for d in ${SOURCES}
do
${COQDOC} ${COQDOCOPTS} -d ../${DIR} ${d}
done
#${COQDOC} ${COQDOCOPTS} -d ../${DIR} ${SOURCES}
# for src in ${SOURCES}
#   do
#   ${COQDOC} ${COQDOCOPTS} -d ../${DIR} ${src}.v
#   tex=../${DIR}/${src}.tex
# #  gnused -f ../makedoc.sed -i ../${DIR}/${tex}
# done
cd ..
rm doc/coqdoc.sty
#cd paper
#. env.sh && pdflatex main