diff etc/ps-prin0.ps @ 75629:c20ac93d4e8a

(Top): Make the detailed menu headers compliant with Texinfo guidelines and with what texnfo-upd.el expects. Add comments to prevent people from inadvertently modifying key parts needed by `texinfo-multiple-files-update'.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 03 Feb 2007 14:17:25 +0000
parents 2c5d29f90b94
children 713172dcf518
line wrap: on
line diff