From 42c0734789faf7e4c1f6bc80b94d4ecd1ae95a7f Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
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.49.0