diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-12-25 21:20:47 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-01-18 16:19:13 -0500 |
commit | ab6f56debf65d64655830605c47d2212e7cca790 (patch) | |
tree | c2db0d480530768a4569b11f0bc528c9b3af976e /docs | |
parent | d9a090b9957b04ec34a145a0a40f41abafe73917 (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 'docs')
0 files changed, 0 insertions, 0 deletions