diff src/unexnext.c @ 53553:e7fef31e8d98

(texinfo-menu-copy-old-description): do not copy `@detailmenu' or `@end menu' as descriptions!
author Robert J. Chassell <bob@rattlesnake.com>
date Sat, 10 Jan 2004 15:01:51 +0000
parents 695cf19ef79e
children a8fa7c632ee4 375f2633d815
line wrap: on
line diff