Makefile
branchmulti
changeset 16 ce482bda336e
parent 11 b43a7dc491c2
child 25 4fb7b2a136d3
--- /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 >$@
+