Re: Replace deprecated "texi2html" with recommended "makeinfo --html"?

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Aug 26, 11:35am, Axel Beckert wrote:
}
} according to https://wiki.debian.org/Texi2htmlTransition and
} http://www.nongnu.org/texi2html/, texi2html is deprecated and should
} be replaced with makeinfo and appropriate options.

Should we also be defaulting to "makeinfo --pdf" rather than texi2pdf?

I note that we've already started using "texi2html --split=chapter" in
spite of the transition document's claim that --split_chapter is still
the option for texi2html.

I notice we don't have a configure test for the existence of makeinfo, it
is simply assumed, so it should be sufficient just to do this:

diff --git a/configure.ac b/configure.ac
index c3debd8..593f01c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -572,8 +572,8 @@ fi
 AC_SUBST(YODL_OPTIONS)
 
 AC_CHECK_PROGS([PDFETEX], [pdfetex], [: pdfetex])
-AC_CHECK_PROGS([TEXI2PDF], [texi2pdf], [])
-AC_CHECK_PROGS([TEXI2HTML], [texi2html], [])
+AC_CHECK_PROGS([TEXI2PDF], [texi2pdf], [makeinfo --pdf])
+AC_CHECK_PROGS([TEXI2HTML], [texi2html], [makeinfo --html])
 AC_CHECK_PROGS([ANSI2KNR], [ansi2knr], [: ansi2knr])
 
 if test x"$ansi2knr" = xyes && test x"$ANSI2KNR" = x": ansi2knr"; then


-- 
Barton E. Schaefer