changeset 26851:7a2fff6becf9

There is no need to ignore the return value of an 'rm -rf' command.
author diego
date Tue, 27 May 2008 11:05:43 +0000
parents 522c224661ee
children 57ab5c4751da
files Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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