.PHONY: examples clean

examples: Makefile.coq
	$(MAKE) -f Makefile.coq

_CoqProject: _CoqProject.make
	cp _CoqProject.make _CoqProject

include ../common.mk

clean: clean-coq
	rm -f _CoqProject
