From 7ef053c6327441bc7306ff6ee12fde2a42301ab4 Mon Sep 17 00:00:00 2001 From: Adrien Devresse Date: Tue, 20 Sep 2016 14:31:23 +0000 Subject: Add a new option to disable documentation generation at configure time --- Makefile.config.in | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile.config.in') diff --git a/Makefile.config.in b/Makefile.config.in index 3e7847e365c7..2db7172b15c9 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -33,5 +33,6 @@ pkglibdir = $(libdir)/$(PACKAGE_NAME) prefix = @prefix@ storedir = @storedir@ sysconfdir = @sysconfdir@ +doc_generate = @doc_generate@ xmllint = @xmllint@ xsltproc = @xsltproc@ -- cgit 1.4.1