| changeset 2 | 50f99c655e4a |
| parent 1 | 43dd6dcf5860 |
| 1:43dd6dcf5860 | 2:50f99c655e4a |
|---|---|
3 prefix = /usr/local |
3 prefix = /usr/local |
4 DESTDIR ?= |
4 DESTDIR ?= |
5 |
5 |
6 .PHONY: all clean |
6 .PHONY: all clean |
7 |
7 |
8 all: gai |
8 all: gai gai.1 |
9 clean: ; rm -f *.o gai |
9 clean: ; rm -f *.o gai gai.1 |
10 install: |
10 install: |
11 install -d ${DESTDIR}${prefix}/bin |
11 install -m 0755 -d ${DESTDIR}${prefix}/bin |
12 install -m 755 gai ${DESTDIR}${prefix}/bin/ |
12 install -m 0755 gai ${DESTDIR}${prefix}/bin/ |
13 |
|
14 gai.1: gai.1.pod |
|
15 pod2man -c "User commands" $< >$@ |