Re: [PATCH] doc: post process html with non-GNU make programs

[Pádraig Brady]

On 18/01/2026 05:29, Collin Funk wrote:

+MAKEINFO = $(abs_top_srcdir)/build-aux/makeinfo-wrapper.sh
+
  # The customization variable CHECK_NORMAL_MENU_STRUCTURE is necessary with
  # makeinfo versions ≥ 6.8.
-MAKEINFO = @MAKEINFO@ -c CHECK_NORMAL_MENU_STRUCTURE=1
+MAKEINFOFLAGS = -c CHECK_NORMAL_MENU_STRUCTURE=1

I notice there are also AM_MAKEINFOFLAGS passed.
Should we be using that, rather than overriding
variables the user may set at configure/build time?

cheers,
Padraig