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


