diff options
author | Richard Braun <rbraun@sceen.net> | 2013-05-22 21:00:08 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2013-05-22 21:05:24 +0200 |
commit | 45193362a810024ab4810470fcd00e16123d5aaf (patch) | |
tree | 176c06994a45b160accd863e5cd5cffba3450eb8 /doc/gpl.texinfo | |
parent | 06652392dc8281f12aa1f52307ef0e2fea4b0945 (diff) |
Fix some errors in the texinfo documentation
* doc/gpl.texinfo: Replace @unnumbered with @node and @section commands.
* doc/hurd.texi: Fix call to @setchapternewpage, remove the @node and
@section commands that are now in gpl.texinfo, and remove an erroneous
occurrence of 'attributes' before a command.
Diffstat (limited to 'doc/gpl.texinfo')
-rw-r--r-- | doc/gpl.texinfo | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/gpl.texinfo b/doc/gpl.texinfo index a2f8db91..d29870cf 100644 --- a/doc/gpl.texinfo +++ b/doc/gpl.texinfo @@ -1,6 +1,5 @@ -@setfilename gpl.info - -@unnumbered GNU GENERAL PUBLIC LICENSE +@node Copying +@section GNU GENERAL PUBLIC LICENSE @center Version 2, June 1991 @display |