echo "-R . typeclasstut " >_CoqProject ; find . -name '*.v' -print  >> _CoqProject;  echo 'COQDOCFLAGS = "-interpolate -utf8 --latex --html"' >> _CoqProject

coq_makefile -f _CoqProject -o Makefile



