resource-1.0 makefile, don't fail if there are no file to remove in clean target.

This commit is contained in:
bringert
2006-05-20 05:02:42 +00:00
parent 2bb984f22e
commit 654ba34917

View File

@@ -56,5 +56,5 @@ gfdoc:
mv ../prelude/*.html doc/gfdoc
clean:
rm */*.gfc */*.gfr */*.gf~
-rm */*.gfc */*.gfr */*.gf~