diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-09-06 04:27:43 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-09-06 04:27:43 +0000 |
| commit | 6336d8c3d7812815d083de055229ebb840fe6159 (patch) | |
| tree | e272d3384cd59b4191c460108ee9833053e01d62 /doc/lispref/gpl.texi | |
| parent | df43c5b72130c74f85366479a0da9ba50ea40e93 (diff) | |
| download | emacs-6336d8c3d7812815d083de055229ebb840fe6159.tar.gz | |
(setfilename): Go up one more level to ../../info.
Diffstat (limited to 'doc/lispref/gpl.texi')
| -rw-r--r-- | doc/lispref/gpl.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/lispref/gpl.texi b/doc/lispref/gpl.texi index e9f7218ede9..163af4627bb 100644 --- a/doc/lispref/gpl.texi +++ b/doc/lispref/gpl.texi @@ -1,5 +1,5 @@ @c -*-texinfo-*- -@setfilename ../info/gpl +@setfilename ../../info/gpl @node GPL, Tips, GNU Free Documentation License, Top @comment node-name, next, previous, up |