| changeset 4030 | a48971ae1387 |
| parent 3908 | 8020c35b6455 |
| child 4031 | 15b2528239e4 |
| 4024:de081fbb27fe | 4030:a48971ae1387 |
|---|---|
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 PREFIX=/usr/local |
4 PREFIX=/usr/local |
5 MANDIR=$(PREFIX)/man |
5 MANDIR=$(PREFIX)/share/man |
6 INSTALL=install -c |
6 INSTALL=install -c |
7 |
7 |
8 all: man html |
8 all: man html |
9 |
9 |
10 man: $(MAN) |
10 man: $(MAN) |