[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