#!/bin/sh
TITLE="Proved Program of the Month: type-safe sprintf"
FILENAME=GenuineShiftReset
COQDOCOPTS=--coqlib "`coqc -where`" --glob-from globals.dump --toc -t ${TITLE}
# LaTeX
coqdoc ${COQDOCOPTS} --latex ${FILENAME}.v 

pdflatex ${FILENAME}.tex

# HTML

coqdoc ${COQDOCOPTS} --html ${FILENAME}.v 
cp mycoqdoc.css coqdoc.css