doc/makefile
author klao
Sat, 03 Apr 2004 18:21:25 +0000
changeset 282 7f85e99502db
parent 186 47cd1716870e
child 288 84e75e8f2fd2
permissions -rw-r--r--
Bit more elaborated map concepts
     1 doxy:
     2 	doxygen Doxyfile
     3 
     4 
     5 texi: etikol.texi flf-graph.texi
     6 	makeinfo etikol.texi&&makeinfo --html etikol.texi&&texi2pdf etikol.texi
     7 
     8 texi-html: etikol.texi flf-graph.texi
     9 	makeinfo etikol.texi&&makeinfo --html etikol.texi
    10 
    11 clean:
    12 	rm -rf html latex