equal
deleted
inserted
replaced
|
1 |
|
2 DESTDIR = |
|
3 prefix = /usr/local |
|
4 bindir = ${prefix}/bin |
|
5 man1dir = ${prefix}/share/man/man1 |
|
6 |
|
7 .PHONY: all clean install |
|
8 |
|
9 SCRIPT = hlog |
|
10 MAN1 = $(SCRIPT:=.1.gz) |
|
11 |
|
12 CLEANFILES \ |
|
13 = $(MAN1) |
|
14 |
|
15 all: $(MAN1) |
|
16 install: all |
|
17 # bin |
|
18 install -m 0755 -d ${DESTDIR}${bindir} |
|
19 install -m 0755 $(SCRIPT) ${DESTDIR}${bindir}/ |
|
20 # man |
|
21 install -m 0755 -d ${DESTDIR}${man1dir} |
|
22 install -m 0644 $(MAN1) ${DESTDIR}${man1dir}/ |
|
23 |
|
24 clean: ; -rm -f $(CLEANFILES) |
|
25 |
|
26 %.1.gz: % ; pod2man $< | gzip >$@ |
|
27 |