diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-04-13 18:59:01 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-04-13 18:59:01 -0700 |
| commit | 1e103a7cd8a0210ad6d66d6105192e8ab8df19e5 (patch) | |
| tree | a10c768908ee6af277e8405c2cc5c7a6cdebd294 /doc/lispref/gpl.texi | |
| parent | 35dc09a19c606f9e7a078df32d030451c7c90ba1 (diff) | |
| download | emacs-1e103a7cd8a0210ad6d66d6105192e8ab8df19e5.tar.gz emacs-1e103a7cd8a0210ad6d66d6105192e8ab8df19e5.tar.bz2 emacs-1e103a7cd8a0210ad6d66d6105192e8ab8df19e5.zip | |
Remove unnecessary @setfilename commands from many doc/lispref/*.texi
Diffstat (limited to 'doc/lispref/gpl.texi')
| -rw-r--r-- | doc/lispref/gpl.texi | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/lispref/gpl.texi b/doc/lispref/gpl.texi index 244f3330d44..0eb877328e1 100644 --- a/doc/lispref/gpl.texi +++ b/doc/lispref/gpl.texi @@ -1,5 +1,4 @@ @c -*-texinfo-*- -@setfilename ../../info/gpl @node GPL, Tips, GNU Free Documentation License, Top @comment node-name, next, previous, up |