#!/bin/bash
# appeler au lieu de coq_makefile
#
coq_makefile \
	-I basis/ -I list_extensions -I term_algebra -I term_orderings -I ac_matching -I unification \
	basis/*.v list_extensions/*.v term_algebra/*.v term_orderings/*.v ac_matching/*.v unification/*.v \
	-custom 'rm -f doc/*.html; $(COQDOC) --glob-from doc/glob -d doc \
   	$(VFILES)' '$(VFILES)' docu \
| sed  s/'COQC=$(COQBIN)coqc'/'COQC=\$(COQBIN)coqc -dump-glob doc\/glob'/ |  \
 sed  s/'COQDOC=coqdoc'/'COQDOC=coqdoc -g -d doc --glob-from doc\/glob -R `pwd` Ordinals '/ |  \
 sed s/'rm -f all.ps'/'rm -f doc\/glob all.ps'/ \
	> Makefile