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