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 c685acd..d476c4f 100644 (file)
--- 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_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.
 AC_SUBST(JADEBIN)
 
 dnl Check for man2html for docs.