]> git.notmuchmail.org Git - notmuch/commitdiff
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)
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.


No differences found