[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Sync Detailed Node Listing in bison.info
From: |
Akim Demaille |
Subject: |
Re: [PATCH] Sync Detailed Node Listing in bison.info |
Date: |
Mon, 17 Nov 2008 09:19:10 +0100 |
User-agent: |
Gnus/5.110006 (No Gnus v0.6) Emacs/22.0.95 (gnu/linux) |
>>> "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.