| changeset 287 | 5f42cb5cc1bf |
| parent 186 | 47cd1716870e |
| child 288 | 84e75e8f2fd2 |
| 1:12342c723f04 | 2:1813c7c1c8de |
|---|---|
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 |
9 makeinfo etikol.texi&&makeinfo --html etikol.texi |
9 makeinfo etikol.texi&&makeinfo --html etikol.texi |
10 |
|
11 clean: |
|
12 rm -rf html latex |