From c952bcae8feda72376ee76778737b51881ea63bd Mon Sep 17 00:00:00 2001 From: Matthias Andree Date: Sat, 27 Aug 2022 08:49:28 +0200 Subject: htmldoc: if missing, use dist-tools/htmldoc wrapper fallback --- configure.ac | 1 + 1 file changed, 1 insertion(+) (limited to 'configure.ac') diff --git a/configure.ac b/configure.ac index 200d4488..cd1cefe2 100644 --- a/configure.ac +++ b/configure.ac @@ -45,6 +45,7 @@ AM_PROG_CC_C_O PKG_PROG_PKG_CONFIG AC_CHECK_PROGS([RST2HTML], [rst2html5.py rst2html5], [false]) +AC_CHECK_PROGS([HTMLDOC], [htmldoc], [${srcdir}/dist-tools/htmldoc]) AC_LIB_RPATH -- cgit v1.2.3