changeset 130 | 571003783202 |
parent 66 | cd56b9c11492 |
child 153 | 7309f1b3fc47 |
0:ea7ea190456e | 1:81c9bdde4464 |
---|---|
1 all: html pdf ps |
1 all: html pdf ps |
2 |
2 |
3 .PHONY: html dvi ps pdf tex dist |
3 .PHONY: html dvi ps pdf tex dist |
4 |
4 |
5 html: |
5 html: |
6 mkdir -p ../html |
6 docbook2html -o html -d etik-ol-html.dsl xml/etik-ol.xml |
7 docbook2html -o ../html xml/etik-ol.xml |
|
8 |
7 |
9 dvi: |
8 dvi: |
10 docbook2dvi -o .. xml/etik-ol.xml |
9 docbook2dvi -o .. xml/etik-ol.xml |
11 |
10 |
12 ps: |
11 ps: |