Makefile
changeset 11 b43a7dc491c2
child 25 4fb7b2a136d3
equal deleted inserted replaced
10:c1a7ff398af1 11:b43a7dc491c2
       
     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