X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate%2FMakefile;h=a8ce85cbb339704bc3e769e958f09427be943391;hb=44834a1b07dbe242a8379bd23b6d2e01f5c65a06;hp=aebe7233e75302d6ffdc856d7f92314237b897ab;hpb=b1736dfd44d664c3f43abb8f7bc554744c073d82;p=helm.git diff --git a/helm/metadata/create/Makefile b/helm/metadata/create/Makefile index aebe7233e..a8ce85cbb 100644 --- a/helm/metadata/create/Makefile +++ b/helm/metadata/create/Makefile @@ -8,7 +8,7 @@ rdf: .PHONY: clean rdf clean-rdf clean: - rm -f output/* + find output -type f -exec rm {} \; clean-rdf: rm -rf rdf/*