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
