diff options
| author | Jani Nikula <jani@nikula.org> | 2016-11-05 22:18:18 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-11-17 08:42:23 -0400 |
| commit | ae97630dbfbfce2bc3394dafeea83441115eaaaf (patch) | |
| tree | fefa5e6762b743b4bb2245ebb147342b5a791955 | |
| parent | 76ab6e99625468b011723a6bd9d84be5fab15d02 (diff) | |
build: only install known man pages
Install man pages based on $(MAN_GZIP_FILES), which directly
corresponds to the man page source rst files. This way we can filter
the man pages to be installed as needed.
| -rw-r--r-- | doc/Makefile.local | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index 8a2f656b..c6f05ca8 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -68,7 +68,7 @@ MAN_GZIP_FILES += ${APIMAN}.gz apidocs: $(APIMAN) install-apidocs: ${APIMAN}.gz mkdir -p "$(DESTDIR)$(mandir)/man3" - install -m0644 $(DOCBUILDDIR)/man/man3/*.3.gz $(DESTDIR)/$(mandir)/man3 + install -m0644 $(filter %.3.gz,$(MAN_GZIP_FILES)) $(DESTDIR)/$(mandir)/man3 $(APIMAN): $(dir)/config.dox $(srcdir)/$(dir)/doxygen.cfg $(srcdir)/lib/notmuch.h mkdir -p $(DOCBUILDDIR)/man/man3 @@ -92,9 +92,9 @@ install-man: ${MAN_GZIP_FILES} mkdir -p "$(DESTDIR)$(mandir)/man1" mkdir -p "$(DESTDIR)$(mandir)/man5" mkdir -p "$(DESTDIR)$(mandir)/man7" - install -m0644 $(DOCBUILDDIR)/man/man1/*.1.gz $(DESTDIR)/$(mandir)/man1 - install -m0644 $(DOCBUILDDIR)/man/man5/*.5.gz $(DESTDIR)/$(mandir)/man5 - install -m0644 $(DOCBUILDDIR)/man/man7/*.7.gz $(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 cd $(DESTDIR)/$(mandir)/man1 && ln -sf notmuch.1.gz notmuch-setup.1.gz endif |