| changeset 1006 | b0e581438835 |
| parent 671 | efa4a7e2f322 |
| child 1428 | 9346a7fb3fe2 |
| 991:b634b15c020b | 1006:b0e581438835 |
|---|---|
1 SOURCES=$(wildcard *.[0-9].txt) |
1 SOURCES=$(wildcard *.[0-9].txt) |
2 MAN=$(SOURCES:%.txt=%) |
2 MAN=$(SOURCES:%.txt=%) |
3 HTML=$(SOURCES:%.txt=%.html) |
3 HTML=$(SOURCES:%.txt=%.html) |
4 |
4 |
5 all: man |
5 all: man html |
6 |
6 |
7 man: $(MAN) |
7 man: $(MAN) |
8 |
8 |
9 html: $(HTML) |
9 html: $(HTML) |
10 |
10 |