Makefile.coq.local

GLOBFILES = $(VFILES:.v=.glob)
COQDOCDIR = theories/html

COQDOCHTMLFLAGS = -g -utf8 -toc

coqdoc: $(GLOBFILES) $(VFILES)
	$(SHOW)'COQDOC -d $(COQDOCDIR)'
	$(HIDE)mkdir -p $(COQDOCDIR)
	$(HIDE)$(COQDOC) $(COQDOCHTMLFLAGS) $(COQDOCLIBS) -d $(COQDOCDIR) $(VFILES)
.PHONY: coqdoc

clean::
	$(HIDE)rm -f bigfib.ml bigfib.mli bigmod.ml bigmod.mli