From 654ba3491745cd61a54efabaea075eda76dab237 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Sat, 20 May 2006 05:02:42 +0000
Subject: [PATCH] resource-1.0 makefile, don't fail if there are no file to
 remove in clean target.

---
 lib/resource-1.0/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/resource-1.0/Makefile b/lib/resource-1.0/Makefile
index 33e33764b..a7e356b0a 100644
--- a/lib/resource-1.0/Makefile
+++ b/lib/resource-1.0/Makefile
@@ -56,5 +56,5 @@ gfdoc:
 	mv ../prelude/*.html doc/gfdoc
 
 clean:
-	rm */*.gfc */*.gfr */*.gf~
+	-rm */*.gfc */*.gfr */*.gf~