diff options
author | Colin Walters <walters@verbum.org> | 2012-08-07 10:58:23 -0400 |
---|---|---|
committer | Ryan Lortie <desrt@desrt.ca> | 2012-10-22 23:55:29 +0200 |
commit | 390126b07492faa53c36b42bff4cd0d92b5f5e52 (patch) | |
tree | 1c20e6dc02c1e9b7aa72856f2f4ae3525380951b /docs | |
parent | f732fba794d380a6c70ce7f82c3326a484909fba (diff) | |
download | dconf-390126b07492faa53c36b42bff4cd0d92b5f5e52.tar.gz |
build: Add --disable-man
1) For embedded systems, it makes no sense to include documentation
of this kind on each image. So we might as well not even build
it.
2) For people bootstrapping systems from source code, documentation
is the source of many cyclical build loops. Allowing it to
be disabled helps cut these loops.
3) The Docbook stylesheets are distributed as Zip files, and
the gnome-ostree builder only consumes git repositories.
https://bugzilla.gnome.org/show_bug.cgi?id=681385
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index d4f9ec7..e5d2871 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -32,11 +32,15 @@ dconf.1: dconf-tool.xml dconf.7: dconf-overview.xml $(AM_V_GEN) $(XSLTPROC) $(XSLTPROC_MAN_FLAGS) http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl $< -man_MANS = \ +man_MANS = + +if ENABLE_MAN +man_MANS += \ dconf-service.1 \ dconf-editor.1 \ dconf.1 \ dconf.7 +endif EXTRA_DIST += dconf-service.xml dconf-editor.xml dconf-tool.xml dconf-overview.xml |