doc/makefile
changeset 201 b9158a014fe8
parent 18 7c88989ea45b
child 282 7f85e99502db
equal deleted inserted replaced
0:f05f67cb3277 1:12342c723f04
     1 all: etikol.texi flf-graph.texi
     1 doxy:
       
     2 	doxygen Doxyfile
       
     3 
       
     4 
       
     5 texi: etikol.texi flf-graph.texi
     2 	makeinfo etikol.texi&&makeinfo --html etikol.texi&&texi2pdf etikol.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