comparison admin/revdiff @ 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 ce88a631c161
children 1d1d5d9bd884
comparison
equal deleted inserted replaced
103393:fe446daa7a49 103394:7f9fa78fd502