diff options
| author | Matthias Andree <matthias.andree@gmx.de> | 2022-08-27 08:49:28 +0200 |
|---|---|---|
| committer | Matthias Andree <matthias.andree@gmx.de> | 2022-08-27 09:02:09 +0200 |
| commit | c952bcae8feda72376ee76778737b51881ea63bd (patch) | |
| tree | 7dad2d333b0266631212e94cfd3d6c612af192c2 | |
| parent | ceb5a6ac27ecf89ae8d9d715917e6e25c1cf322e (diff) | |
| download | fetchmail-c952bcae8feda72376ee76778737b51881ea63bd.tar.gz fetchmail-c952bcae8feda72376ee76778737b51881ea63bd.tar.bz2 fetchmail-c952bcae8feda72376ee76778737b51881ea63bd.zip | |
htmldoc: if missing, use dist-tools/htmldoc wrapper fallback
| -rw-r--r-- | Makefile.am | 2 | ||||
| -rw-r--r-- | configure.ac | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 36294d89..ae16c11c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -214,7 +214,7 @@ FAQ: fetchmail-FAQ.html $(srcdir)/dist-tools/html2txt fetchmail-FAQ.pdf: fetchmail-FAQ.html fetchmail-FAQ.book bighand.png $(AWK) '/^[ \t]*<h1/ {sec++; } {if (sec < 2 || sec > 3) print $0;}' <$(srcdir)/fetchmail-FAQ.html >fetchmail-FAQ-print.html - htmldoc --logoimage $(srcdir)/bighand.png --batch $(srcdir)/fetchmail-FAQ.book + $(HTMLDOC) --logoimage $(srcdir)/bighand.png --batch $(srcdir)/fetchmail-FAQ.book rm -f fetchmail-FAQ-print.html FEATURES: fetchmail-features.html $(srcdir)/dist-tools/html2txt 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 |