diff -r f0ff6981d4fd -r 93ee849e1101 doc/makefile
--- a/doc/makefile	Mon Apr 05 13:48:25 2004 +0000
+++ b/doc/makefile	Mon Apr 05 13:49:20 2004 +0000
@@ -1,5 +1,5 @@
 doxy:
-	rm -r html latex
+	rm -rf html latex
 	doxygen Doxyfile
 
 texi: etikol.texi flf-graph.texi