diff -r 5c5d970ef2f0 -r 69bde1d90c04 doc/makefile
--- a/doc/makefile	Thu May 06 13:46:07 2004 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-doxy:
-	rm -rf html latex
-	doxygen Doxyfile
-
-texi: etikol.texi flf-graph.texi
-	makeinfo etikol.texi&&makeinfo --html etikol.texi&&texi2pdf etikol.texi
-
-texi-html: etikol.texi flf-graph.texi
-	makeinfo etikol.texi&&makeinfo --html etikol.texi
-
-clean:
-	rm -rf html latex