summaryrefslogtreecommitdiff
path: root/doc/gpl.texinfo
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2013-05-22 21:00:08 +0200
committerRichard Braun <rbraun@sceen.net>2013-05-22 21:05:24 +0200
commit45193362a810024ab4810470fcd00e16123d5aaf (patch)
tree176c06994a45b160accd863e5cd5cffba3450eb8 /doc/gpl.texinfo
parent06652392dc8281f12aa1f52307ef0e2fea4b0945 (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.texinfo5
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