# HG changeset patch
# User arg@10ksloc.org
# Date 1153381547 -7200
# Node ID eca09aac3ccc6575eaf1726c0a82ba0281839b44
# Parent  329fd7dae5301d5b445c4033f4e33d87cedb9f9c
makefile now sets permissions for executables and man pages


diff -r 329fd7dae530 -r eca09aac3ccc Makefile
--- a/Makefile	Thu Jul 20 07:26:23 2006 +0200
+++ b/Makefile	Thu Jul 20 09:45:47 2006 +0200
@@ -41,9 +41,15 @@
 install: all
 	@mkdir -p ${DESTDIR}${PREFIX}/bin
 	@cp -f ${BIN} ${DESTDIR}${PREFIX}/bin
+	@for i in ${BIN}; do \
+		chmod 755 ${DESTDIR}${PREFIX}/bin/`basename $$i`; \
+	done
 	@echo installed executable files to ${DESTDIR}${PREFIX}/bin
 	@mkdir -p ${DESTDIR}${MANPREFIX}/man1
 	@cp -f ${MAN1} ${DESTDIR}${MANPREFIX}/man1
+	@for i in ${MAN1}; do \
+		chmod 444 ${DESTDIR}${MANPREFIX}/man1/`basename $$i`; \
+	done
 	@echo installed manual pages to ${DESTDIR}${MANPREFIX}/man1
 
 uninstall: