Re: [PATCH] Sync Detailed Node Listing in bison.info

[Akim Demaille]

>>> "DJ" == Di-an JAN <address@hidden> writes:

 > This patch synchronizes the ``Detailed Node Listing'' with the menus in
 > the texinfo manual.  Checked with the commands

Good work!  If it applies nicely to 2.4.1, please install it there,
and we'll merge it into master later.

 > sed -n '/@menu/,/@end menu/p' $1 |
 >         sed '/@detailmenu/,/@end detailmenu/d' |
 >         egrep -v '^@(end )?menu' > menu.tmp
 > sed -n '/@detailmenu/,/@end detailmenu/p' $1 > detailmenu.tmp
 > diff -U0 menu.tmp detailmenu.tmp

Good, do not hesitate to add this as a check target in doc/local.mk.
Or maybe a maintainercheck.