#/bin/bash
SOURCES=`grep .v Make`
echo ${SOURCES}
rm -f html/*
coqdoc --coqlib_path "`coqc -where`" --multi-index --glob-from globals.dump -t "Haskell Prelude" -d html --html ${SOURCES}