diff msdos/mainmake.v2 @ 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 4d83e5b1225b
children a0dbb0d71ad5
line wrap: on
line diff