[m-rev.] trivial diff: Remove rss.xml in 'make clean'

Paul Bone paul at bone.id.au
Wed Apr 17 11:07:30 AEST 2013


Remove rss.xml in 'make clean'

Makefile:
    As above.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 2d8d6a1..c2d74d5 100644
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@ install: local_install
 clean: local_clean
 
 local_clean:
-	rm -f include/globals.inc
+	rm -f include/globals.inc rss.xml
 
 ROTD_PATTERNS = mercury-compiler-rotd-*-unstable.tar.gz \
 	mercury-extras-rotd-*-unstable.tar.gz 		\
-- 
1.8.1.3




More information about the reviews mailing list