 |
makefile-guideline.txt: set 644 permissions for installed documentation files -… |
 |
git clone git://bitreich.org/bitreich-style |
 |
Log |
|
Files |
|
Refs |
|
Tags |
|
README |
|
LICENSE |
|
--- |
|
commit 9753b870ed2a7e43799d1207e7a91d5828ebdb19 |
|
parent ffb593e6770d133502e54454b2e6d026baab8f26 |
|
Author: Anders Damsgaard <[email protected]> |
|
Date: Wed, 4 Nov 2020 14:32:59 +0100 |
|
|
|
makefile-guideline.txt: set 644 permissions for installed documentation files |
|
|
|
also increment all following line numbers :-( |
|
|
|
Diffstat: |
|
M c/makefile-guideline.txt | 31 ++++++++++++++++-------------… |
|
|
|
1 file changed, 16 insertions(+), 15 deletions(-) |
|
--- |
|
diff --git a/c/makefile-guideline.txt b/c/makefile-guideline.txt |
|
@@ -250,29 +250,30 @@ cp's -f flag ensures overwriting the file even if it is b… |
|
62 # installing example files. |
|
63 mkdir -p "${DESTDIR}${DOCPREFIX}" |
|
64 cp -f ${DOC} "${DESTDIR}${DOCPREFIX}" |
|
- 65 # installing manual pages for general commands: section … |
|
- 66 mkdir -p "${DESTDIR}${MANPREFIX}/man1" |
|
- 67 cp -f ${MAN1} "${DESTDIR}${MANPREFIX}/man1" |
|
- 68 for m in ${MAN1}; do chmod 644 "${DESTDIR}${MANPREFIX}/m… |
|
- 69 |
|
+ 65 for d in ${DOC}; do chmod 644 "${DESTDIR}${DOCPREFIX}/$$… |
|
+ 66 # installing manual pages for general commands: section … |
|
+ 67 mkdir -p "${DESTDIR}${MANPREFIX}/man1" |
|
+ 68 cp -f ${MAN1} "${DESTDIR}${MANPREFIX}/man1" |
|
+ 69 for m in ${MAN1}; do chmod 644 "${DESTDIR}${MANPREFIX}/m… |
|
+ 70 |
|
|
|
Explicitly set permissions for executable files and for documentation. |
|
|
|
- 70 uninstall: |
|
- 71 # removing executable files. |
|
- 72 for f in ${BIN}; do rm -f "${DESTDIR}${PREFIX}/bin/$$f";… |
|
- 73 # removing example files. |
|
- 74 for d in ${DOC}; do rm -f "${DESTDIR}${DOCPREFIX}/$$d"; … |
|
+ 71 uninstall: |
|
+ 72 # removing executable files. |
|
+ 73 for f in ${BIN}; do rm -f "${DESTDIR}${PREFIX}/bin/$$f";… |
|
+ 74 # removing example files. |
|
+ 75 for d in ${DOC}; do rm -f "${DESTDIR}${DOCPREFIX}/$$d"; … |
|
|
|
- 75 -rmdir "${DESTDIR}${DOCPREFIX}" |
|
+ 76 -rmdir "${DESTDIR}${DOCPREFIX}" |
|
|
|
Try to remove the doc directory, but if it is shared by other packages and |
|
rmdir returns an error code then that is ok and make still proceeds. |
|
|
|
- 76 # removing manual pages. |
|
- 77 for m in ${MAN1}; do rm -f "${DESTDIR}${MANPREFIX}/man1/… |
|
- 78 |
|
- 79 .PHONY: all clean dist install uninstall |
|
+ 77 # removing manual pages. |
|
+ 78 for m in ${MAN1}; do rm -f "${DESTDIR}${MANPREFIX}/man1/… |
|
+ 79 |
|
+ 80 .PHONY: all clean dist install uninstall |
|
|
|
|
|
References |
