diff options
| author | Antoine Amarilli <a3nm@a3nm.net> | 2018-01-31 21:50:45 +0100 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2018-01-31 21:22:04 -0400 |
| commit | cf8c689eab64e3907ecd484c9a7c3708dc599b27 (patch) | |
| tree | 1cca11f85b339fab4519dce3658a389e0a7e7a04 /doc/Makefile.local | |
| parent | 12541fea7fe333f7c154a4a12a1d40394c2d6364 (diff) | |
doc: create manpage folders with right permissions
Avoids the issue where umask can make man pages unreadable after
installation. Relevant email on the mailing-list:
<87h8rt30sy.fsf@fifthhorseman.net>
Diffstat (limited to 'doc/Makefile.local')
| -rw-r--r-- | doc/Makefile.local | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index c6f05ca8..a1739e15 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -89,9 +89,9 @@ install-man: else build-man: ${MAN_GZIP_FILES} install-man: ${MAN_GZIP_FILES} - mkdir -p "$(DESTDIR)$(mandir)/man1" - mkdir -p "$(DESTDIR)$(mandir)/man5" - mkdir -p "$(DESTDIR)$(mandir)/man7" + mkdir -m0755 -p "$(DESTDIR)$(mandir)/man1" + mkdir -m0755 -p "$(DESTDIR)$(mandir)/man5" + mkdir -m0755 -p "$(DESTDIR)$(mandir)/man7" install -m0644 $(filter %.1.gz,$(MAN_GZIP_FILES)) $(DESTDIR)/$(mandir)/man1 install -m0644 $(filter %.5.gz,$(MAN_GZIP_FILES)) $(DESTDIR)/$(mandir)/man5 install -m0644 $(filter %.7.gz,$(MAN_GZIP_FILES)) $(DESTDIR)/$(mandir)/man7 |