# Coq does not know about Elpi Accumulate File, so we declare the dependency here
HB/structures.vo : $(wildcard HB/*.elpi HB/common/*.elpi)

clean::
	$(SHOW)'CLEAN *.hb *.hb.old'
	$(HIDE) find . -name \*.hb -delete
	$(HIDE) find . -name \*.hb.old -delete
