diff options
Diffstat (limited to 'doc/lispref/gpl.texi')
| -rw-r--r-- | doc/lispref/gpl.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/lispref/gpl.texi b/doc/lispref/gpl.texi index 0eb877328e1..6dc50a9751c 100644 --- a/doc/lispref/gpl.texi +++ b/doc/lispref/gpl.texi @@ -1,7 +1,6 @@ @c -*-texinfo-*- -@node GPL, Tips, GNU Free Documentation License, Top -@comment node-name, next, previous, up +@node GPL @appendix GNU General Public License @c The GNU General Public License. @center Version 3, 29 June 2007 |