diff options
author | Colin Walters <walters@verbum.org> | 2016-01-28 15:22:10 -0500 |
---|---|---|
committer | Colin Walters <walters@verbum.org> | 2016-01-28 15:22:10 -0500 |
commit | c74ea8b075168168820528d0423e46428de1c84d (patch) | |
tree | 4ab195cf7eedd4e43d420428f987de14e83af17d /Makefile-man.am | |
parent | ca57ec4aa56e0e3ecfb4c5f4f34b84633a22fb66 (diff) | |
download | ostree-c74ea8b075168168820528d0423e46428de1c84d.tar.gz |
build: Add --disable-man
Gnome Continuous doesn't have docbook, so copy what we do for glib.
Diffstat (limited to 'Makefile-man.am')
-rw-r--r-- | Makefile-man.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile-man.am b/Makefile-man.am index d2f31ca0..299e3177 100644 --- a/Makefile-man.am +++ b/Makefile-man.am @@ -26,7 +26,7 @@ man5_MANS = $(addprefix man/,$(man5_files)) EXTRA_DIST += $(man1_MANS) $(man5_MANS) -if ENABLE_XSLTPROC +if ENABLE_MAN XSLT_STYLESHEET = http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl @@ -51,4 +51,4 @@ CLEANFILES += \ $(man5_MANS) \ $(NULL) -endif # ENABLE_GTK_DOC +endif |