From: Fabian Keil <fk@fabiankeil.de>
Date: Wed, 31 Oct 2018 14:44:41 +0000 (+0100)
Subject: Prefer openjade to jade
X-Git-Tag: v_3_0_27~21
X-Git-Url: http://www.privoxy.org/gitweb/%22https:/developer-manual/diff?a=commitdiff_plain;h=42c0734789faf7e4c1f6bc80b94d4ecd1ae95a7f;p=privoxy.git

Prefer openjade to jade

At least on my system jade produces HTML with
unescaped ampersands in URLs.
---

diff --git a/configure.in b/configure.in
index c685acd5..d476c4f9 100644
--- a/configure.in
+++ b/configure.in
@@ -350,7 +350,7 @@ fi
 AC_SUBST(RPM_BASE)
 
 dnl Check for jade, so we can build the documentation
-AC_CHECK_PROGS(JADEBIN,jade openjade,false)
+AC_CHECK_PROGS(JADEBIN,openjade jade,false)
 AC_SUBST(JADEBIN)
 
 dnl Check for man2html for docs.