diff options
| author | arg@10ksloc.org <unknown> | 2006-07-20 09:45:47 +0200 |
|---|---|---|
| committer | arg@10ksloc.org <unknown> | 2006-07-20 09:45:47 +0200 |
| commit | eccd02def292e56decfe125bcfdae35326006889 (patch) | |
| tree | 0dfc51dd0eaf78485b4611458c472be556be7ff5 | |
| parent | 11737233a7ce6bc656bc7bc061c68eeda824ee9b (diff) | |
makefile now sets permissions for executables and man pages
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -41,9 +41,15 @@ dist: clean 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: |