projects / notmuch.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76ab6e9) | patch
build: only install known man pages
authorJani Nikula <jani@nikula.org>
Sat, 5 Nov 2016 20:18:18 +0000 (22:18 +0200)
committerDavid Bremner <david@tethera.net>
Thu, 17 Nov 2016 12:42:23 +0000 (08:42 -0400)
commitae97630dbfbfce2bc3394dafeea83441115eaaaf
treefefa5e6762b743b4bb2245ebb147342b5a791955tree | snapshot
parent76ab6e99625468b011723a6bd9d84be5fab15d02commit | 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.
doc/Makefile.local diff | blob | history
Thread-based e-mail indexer, supporting quick search and tagging