mirror of
git://git.sv.gnu.org/findutils.git
synced 2026-01-30 21:28:58 +01:00
* doc/Makefile.am (AM_MAKEINFOFLAGS): Add configuration variable CHECK_NORMAL_MENU_STRUCTURE=1 to warn about inconsistent menu structure again: makeinfo >=6.8 would not do this anymore.