| commit | 8631552d3d48092932c6fb93baa6e38fb3ca951a | [log] [tgz] |
|---|---|---|
| author | Colin Walters <[email protected]> | Mon Jul 30 12:27:10 2012 -0400 |
| committer | Lucas De Marchi <[email protected]> | Tue Jul 31 09:45:59 2012 -0300 |
| tree | 9e54cc0b88df8111a95286fb81c5950fd9abba36 | |
| parent | 2077017f11dee07e65353d5daccd639f0697de87 [diff] |
build-sys: Add --disable-manpages option 1) Embedded systems often don't want man pages on the target; rather than pointlessly building them, then ignoring the result, allow just not building them at all 2) When bootstrapping an operating systems, documentation is the source of many cyclical dependencies, and allowing it to be explicitly disabled is useful for earlier build passes.