# HG changeset patch
# User diego
# Date 1211886343 0
# Node ID 7a2fff6becf9576bfa061b2fb1fd56ee41320817
# Parent  522c224661ee6e12acd15e8eff05c805825ba248
There is no need to ignore the return value of an 'rm -rf' command.

diff -r 522c224661ee -r 7a2fff6becf9 Makefile
--- a/Makefile	Tue May 27 09:11:13 2008 +0000
+++ b/Makefile	Tue May 27 11:05:43 2008 +0000
@@ -864,7 +864,7 @@
 	doxygen DOCS/tech/Doxyfile
 
 doxygen_clean:
-	-rm -rf DOCS/tech/doxygen
+	rm -rf DOCS/tech/doxygen
 
 TAGS:
 	rm -f $@; ( find -name '*.[chS]' -print ) | xargs etags -a