]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create/Makefile
Makefile fixed (too many parameters on command line);
[helm.git] / helm / metadata / create / Makefile
index aebe7233e75302d6ffdc856d7f92314237b897ab..a8ce85cbb339704bc3e769e958f09427be943391 100644 (file)
@@ -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/*