changeset 542 | 69bde1d90c04 |
parent 541 | 5c5d970ef2f0 |
child 543 | 2b031f790e7a |
1.1 --- a/doc/makefile Thu May 06 13:46:07 2004 +0000 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,12 +0,0 @@ 1.4 -doxy: 1.5 - rm -rf html latex 1.6 - doxygen Doxyfile 1.7 - 1.8 -texi: etikol.texi flf-graph.texi 1.9 - makeinfo etikol.texi&&makeinfo --html etikol.texi&&texi2pdf etikol.texi 1.10 - 1.11 -texi-html: etikol.texi flf-graph.texi 1.12 - makeinfo etikol.texi&&makeinfo --html etikol.texi 1.13 - 1.14 -clean: 1.15 - rm -rf html latex