From 7b0be5b0f9a67d2dc3e04fe141ba3966c5204f46 Mon Sep 17 00:00:00 2001 From: Tomek Mrugalski Date: Mon, 4 Feb 2019 16:41:17 +0100 Subject: [PATCH] [#117,!207] Added example. --- doc/guide/install.xml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/guide/install.xml b/doc/guide/install.xml index dfc847671f..d31c25654b 100644 --- a/doc/guide/install.xml +++ b/doc/guide/install.xml @@ -435,7 +435,8 @@ Debian and Ubuntu: nonet argument which disables fetching missing sources, e.g docbook.xsl, from the Internet. If you want anyway to use the Internet please set the XSLTPROC_NET environment variable - in configure. + in configure to any non-empty value, e.g. + $ XSLTPROC_NET=yes ./configure --enable-generate-docs -- GitLab