Makefile
changeset 2 50f99c655e4a
parent 1 43dd6dcf5860
--- a/Makefile	Thu Jul 12 12:38:11 2012 +0200
+++ b/Makefile	Thu Jul 12 15:44:48 2012 +0200
@@ -5,8 +5,11 @@
 
 .PHONY: all clean
 
-all:	gai
-clean:  ; rm -f *.o gai
+all:	gai gai.1
+clean:  ; rm -f *.o gai gai.1
 install:
-	install -d ${DESTDIR}${prefix}/bin
-	install -m 755 gai ${DESTDIR}${prefix}/bin/
+	install -m 0755 -d  ${DESTDIR}${prefix}/bin
+	install -m 0755 gai ${DESTDIR}${prefix}/bin/
+
+gai.1:	gai.1.pod
+	pod2man -c "User commands" $< >$@