summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2015-12-25 21:20:47 -0500
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2016-01-18 16:19:13 -0500
commitab6f56debf65d64655830605c47d2212e7cca790 (patch)
treec2db0d480530768a4569b11f0bc528c9b3af976e /.gitignore
parentd9a090b9957b04ec34a145a0a40f41abafe73917 (diff)
build-sys: allow building man pages even if disabled in ./configure
This is purely for developer convenience: building man pages is slow so people tend to disable them when not working on documentation. But sometimes it is useful to build the man page to look something up, especially when working on an older machine which has outdated documentation, or to test some change to documentation. The rules to build man pages are now outside of the ENABLE_MANPAGES conditional, but they are not used unless manually invoked, and only the inclusion of man pages in build and install targets is affected by the conditional. Also, more generated files are removed in clean, which seems to be good thing, and Makefile.am is simplified.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions