doc/makefile
changeset 288 84e75e8f2fd2
parent 282 7f85e99502db
child 295 93ee849e1101
equal deleted inserted replaced
2:1813c7c1c8de 3:4718c7680df3
     1 doxy:
     1 doxy:
       
     2 	rm -r html latex
     2 	doxygen Doxyfile
     3 	doxygen Doxyfile
     3 
       
     4 
     4 
     5 texi: etikol.texi flf-graph.texi
     5 texi: etikol.texi flf-graph.texi
     6 	makeinfo etikol.texi&&makeinfo --html etikol.texi&&texi2pdf etikol.texi
     6 	makeinfo etikol.texi&&makeinfo --html etikol.texi&&texi2pdf etikol.texi
     7 
     7 
     8 texi-html: etikol.texi flf-graph.texi
     8 texi-html: etikol.texi flf-graph.texi