summaryrefslogtreecommitdiff
path: root/doc/gpl.texinfo
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-05-27 00:10:18 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-05-27 00:10:18 +0200
commit620b661325fe8ce36bafcb6afb47083d35988cea (patch)
treeca5f0f9d7f85d74eb7e782160500c99275c8f8d5 /doc/gpl.texinfo
parent654ecbb88dbbba4e4e5539b95ecf9fc88f590c5f (diff)
parent45193362a810024ab4810470fcd00e16123d5aaf (diff)
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/hurd
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