X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate%2FMakefile;fp=helm%2Fmetadata%2Fcreate%2FMakefile;h=a8ce85cbb339704bc3e769e958f09427be943391;hb=324d7a74894430e413b61ab2e26605ddd16474d6;hp=aebe7233e75302d6ffdc856d7f92314237b897ab;hpb=8eba2047aac22a3d68000fcf2213238fd4032d36;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/*