diff -r 5f42cb5cc1bf -r 84e75e8f2fd2 doc/makefile --- a/doc/makefile Sat Apr 03 23:13:41 2004 +0000 +++ b/doc/makefile Sun Apr 04 09:16:35 2004 +0000 @@ -1,7 +1,7 @@ doxy: + rm -r html latex doxygen Doxyfile - texi: etikol.texi flf-graph.texi makeinfo etikol.texi&&makeinfo --html etikol.texi&&texi2pdf etikol.texi