]> asedeno.scripts.mit.edu Git - PuTTY.git/commit
projects / PuTTY.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48a8853) | patch
Makefile.am: subset the man pages in --without-gtk mode.
authorSimon Tatham <anakin@pobox.com>
Tue, 21 Feb 2017 22:17:48 +0000 (22:17 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 21 Feb 2017 22:17:48 +0000 (22:17 +0000)
commit805ef41152db7309987981eb1ba4d914ab6eae6f
tree1f869b9ca232ca663f5fb0021d602d9e10896edatree | snapshot
parent48a8853bde2326ecac019d774385571e1089230ecommit | diff
Makefile.am: subset the man pages in --without-gtk mode.

If you configure without GTK so that only the non-GUI tools get built
and installed, it makes sense to also only build and install the same
subset of the man pages.
Recipe diff | blob | history
local copy of git://git.tartarus.org/simon/putty.git