| changeset 542 | 69bde1d90c04 |
| parent 288 | 84e75e8f2fd2 |
| 4:36902fca2347 | -1:000000000000 |
|---|---|
1 doxy: |
|
2 rm -rf html latex |
|
3 doxygen Doxyfile |
|
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 |