Re: patch: Ensure that makeinfo ≥ 6.8 checks the @menu structure

Eric Blake wrote:
> I've pushed the followup patch, after first verifying that the new
> option is present on the command line issued by 'make V=1 -C doc
> html':
> 
> diff --git i/doc/Makefile.am w/doc/Makefile.am
> index 090e3649..c3646f54 100644
> --- i/doc/Makefile.am
> +++ w/doc/Makefile.am
> @@ -29,7 +29,7 @@ SUFFIXES = .1
> 
>  # The customization variable CHECK_NORMAL_MENU_STRUCTURE is necessary with
>  # makeinfo versions ≥ 6.8.
> -MAKEINFO = @MAKEINFO@ -c CHECK_NORMAL_MENU_STRUCTURE=1
> +AM_MAKEINFOFLAGS = -c CHECK_NORMAL_MENU_STRUCTURE=1
> 
>  HELP2MAN = $(SHELL) $(top_srcdir)/build-aux/missing --run help2man

Looks good. I confirm that with this patch, both "make m4.info V=1" and
"make html V=1" show the -c option in use.

> but there _is_ AM_MAKEINFOHTMLFLAGS as well (and
> that one defaults to AM_MAKEINFOFLAGS)

Yup. Apparently I had not seen that this variable when I prepared the patch.

Bruno