diff FTP @ 75630:d1e322303342

(Top): Update the top-level menus. Make the detailed menu headers compliant with Texinfo guidelines and with what texnfo-upd.el expects. Add comments to prevent people from inadvertently modifying the key parts needed by `texinfo-multiple-files-update'.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 03 Feb 2007 15:25:43 +0000
parents 6cd56cde7cd4
children 5e1b6a63ac46
line wrap: on
line diff