diff lisp/hilit19.el @ 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 b555959aaf3f
children 720d1f98ae42
line wrap: on
line diff