From 42c0734789faf7e4c1f6bc80b94d4ecd1ae95a7f Mon Sep 17 00:00:00 2001 From: Fabian Keil Date: Wed, 31 Oct 2018 15:44:41 +0100 Subject: [PATCH] Prefer openjade to jade At least on my system jade produces HTML with unescaped ampersands in URLs. --- configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.39.2