1.1 --- a/doc/makefile	Mon Apr 05 13:48:25 2004 +0000
     1.2 +++ b/doc/makefile	Mon Apr 05 13:49:20 2004 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  doxy:
     1.5 -	rm -r html latex
     1.6 +	rm -rf html latex
     1.7  	doxygen Doxyfile
     1.8  
     1.9  texi: etikol.texi flf-graph.texi