| changeset 282 | 7f85e99502db |
| 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 |