| changeset 1814 | 7956893e8458 |
| parent 1689 | c6c76ead1cc1 |
| child 1819 | d657bfdc06c4 |
| 1811:6cb548cffdf5 | 1814:7956893e8458 |
|---|---|
5 all: man html |
5 all: man html |
6 |
6 |
7 man: $(MAN) |
7 man: $(MAN) |
8 |
8 |
9 html: $(HTML) |
9 html: $(HTML) |
10 |
|
11 hg.1.txt: hg.1.gendoc.txt |
|
12 touch hg.1.txt |
|
13 |
|
14 hg.1.gendoc.txt: |
|
15 python gendoc.py > $@ |
|
10 |
16 |
11 %: %.xml |
17 %: %.xml |
12 xmlto man $*.xml |
18 xmlto man $*.xml |
13 |
19 |
14 %.xml: %.txt |
20 %.xml: %.txt |