diff vpath.sed @ 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 695cf19ef79e
children 375f2633d815
line wrap: on
line diff