diff config.sub @ 17518:1eecbe9dd89c

(texinfo-master-menu-header): Delete newline at start. (texinfo-insert-master-menu-list): Add @detailmenu and @end detailmenu commands.
author Richard M. Stallman <rms@gnu.org>
date Sun, 20 Apr 1997 21:02:06 +0000
parents d5cbb3a06adc
children 14bd76ef0abb
line wrap: on
line diff