diff etc/DEBUG @ 103394:7f9fa78fd502

(Top): Add @top command. Remove the optional arguments from all @node commands: makeinfo can generate these automatically, and it is easier to edit and rearrange nodes without them.
author Glenn Morris <rgm@gnu.org>
date Fri, 12 Jun 2009 07:49:09 +0000
parents c90853557b90
children 1d1d5d9bd884
line wrap: on
line diff