diff -r 9166982f8b19 -r ce482bda336e Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Makefile Wed Jan 28 21:00:51 2009 +0100 @@ -0,0 +1,27 @@ + +DESTDIR = +prefix = /usr/local +bindir = ${prefix}/bin +man1dir = ${prefix}/share/man/man1 + +.PHONY: all clean install + +SCRIPT = hlog +MAN1 = $(SCRIPT:=.1.gz) + +CLEANFILES \ + = $(MAN1) + +all: $(MAN1) +install: all + # bin + install -m 0755 -d ${DESTDIR}${bindir} + install -m 0755 $(SCRIPT) ${DESTDIR}${bindir}/ + # man + install -m 0755 -d ${DESTDIR}${man1dir} + install -m 0644 $(MAN1) ${DESTDIR}${man1dir}/ + +clean: ; -rm -f $(CLEANFILES) + +%.1.gz: % ; pod2man $< | gzip >$@ +