| changeset 249 | d328d0d9b88e |
| parent 212 | 945b5eacc733 |
| child 557 | 922873e5b409 |
| 248:7fedc55c14d5 | 249:d328d0d9b88e |
|---|---|
32 manual: clean |
32 manual: clean |
33 cd en && \ |
33 cd en && \ |
34 pdflatex manual.tex && \ |
34 pdflatex manual.tex && \ |
35 pdflatex manual.tex && \ |
35 pdflatex manual.tex && \ |
36 cp manual.pdf ../../../objdictgen/doc/manual_en.pdf && \ |
36 cp manual.pdf ../../../objdictgen/doc/manual_en.pdf && \ |
37 latex2html -dir html manual.tex && \ |
37 latex2html -split 0 -dir html manual.tex && \ |
38 xpdf manual.pdf |
38 xpdf manual.pdf |