diff autogen.sh @ 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 156cffa89b1b
children 4c90ffeb71c5 7b9e6639caa3
line wrap: on
line diff