diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2022-10-01 18:11:41 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2022-10-01 18:12:14 +0000 |
commit | f3209d1af801f3a557a37ba70f190f1cf5d1df5e (patch) | |
tree | 7e7d924efaa20c1b027eb7bcd7cdecf704a4669c | |
parent | Adding VERSION.txt. (diff) | |
download | progress-linux-f3209d1af801f3a557a37ba70f190f1cf5d1df5e.tar.xz progress-linux-f3209d1af801f3a557a37ba70f190f1cf5d1df5e.zip |
Updating Makefile to install manpage files.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
-rw-r--r-- | Makefile | 26 |
1 files changed, 24 insertions, 2 deletions
@@ -83,13 +83,24 @@ test-ssh: ssh-keys/*/*.sig gpg --no-default-keyring --keyring /usr/share/keyrings/debian-keyring.gpg --verify $${SIG}; \ done -install: install-doc install-pgp install-ssh +install: install-doc install-man install-pgp install-ssh install-doc: # install doc mkdir -p $(DESTDIR)/usr/share/doc/$(PROJECT) cp *.txt $(DESTDIR)/usr/share/doc/$(PROJECT) +install-man: + # install manpages + for SECTION in $$(seq 1 8); \ + do \ + if ls manpages/*.$${SECTION} > /dev/null 2>&1; \ + then \ + mkdir -p $(DESTDIR)/usr/share/man/man$${SECTION}; \ + cp manpages/*.$${SECTION} $(DESTDIR)/usr/share/man/man$${SECTION}; \ + fi; \ + done + install-pgp: build-pgp # install pgp keyrings mkdir -p $(DESTDIR)/usr/share/progress-linux/pgp-keys @@ -100,12 +111,23 @@ install-ssh: build-ssh mkdir -p $(DESTDIR)/usr/share/progress-linux/ssh-keys cp ssh-keys/*.pub $(DESTDIR)/usr/share/progress-linux/ssh-keys -uninstall: uninstall-doc uninstall-pgp uninstall-ssh +uninstall: uninstall-doc uninstall-man uninstall-pgp uninstall-ssh uninstall-doc: # uninstall doc rm -rf $(DESTDIR)/usr/share/doc/$(PROJECT) +uninstall-man: + # uninstall manpages + for SECTION in $$(seq 1 8); \ + do \ + for FILE in manpages/*.$${SECTION}; \ + do \ + rm -f $(DESTDIR)/usr/share/man/man$${SECTION}/$$(basename $${FILE}); \ + done; \ + rmdir --ignore-fail-on-non-empty --parents $(DESTDIR)/usr/share/man/man$${SECTION} || true; \ + done + uninstall-pgp: # uninstall pgp keyrings rm -rf $(DESTDIR)/usr/share/progress-linux/pgp-keys |