diff options
author | Colin Walters <walters@verbum.org> | 2012-07-30 12:27:10 -0400 |
---|---|---|
committer | Lucas De Marchi <lucas.demarchi@profusion.mobi> | 2012-07-31 09:45:59 -0300 |
commit | 8631552d3d48092932c6fb93baa6e38fb3ca951a (patch) | |
tree | 9e54cc0b88df8111a95286fb81c5950fd9abba36 /Makefile.am | |
parent | 2077017f11dee07e65353d5daccd639f0697de87 (diff) | |
download | kmod-8631552d3d48092932c6fb93baa6e38fb3ca951a.tar.gz kmod-8631552d3d48092932c6fb93baa6e38fb3ca951a.tar.bz2 kmod-8631552d3d48092932c6fb93baa6e38fb3ca951a.zip |
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.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 26f32cd..bc95922 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,4 +1,8 @@ -SUBDIRS = . libkmod/docs man +SUBDIRS = . libkmod/docs + +if BUILD_MANPAGES +SUBDIRS += man +endif DISTCLEAN_LOCAL_HOOKS = EXTRA_DIST = |