all:
	@echo
	@echo "Nothing to do per default, trye one of the following target:"
	@echo
	@echo "  make defs      # rebuilt .def files in this directory, using"
	@echo "                 # configuration from config/* (which includes"
	@echo "                 # matita.ucf)"
	@echo

.PHONY: defs
defs:
	perl makeunidef.pl -t data --nocomments config/*.ucf config/*.ucf.gz