diff --git a/Makefile b/Makefile
index f3293466dc..a7b46b77ed 100644
--- a/Makefile
+++ b/Makefile
@@ -864,7 +864,7 @@ doxygen:
 	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