diff options
| author | Glenn Morris | 2014-01-02 19:15:01 -0800 |
|---|---|---|
| committer | Glenn Morris | 2014-01-02 19:15:01 -0800 |
| commit | de229ee3d4597519397f259bab4312edc100dbd1 (patch) | |
| tree | 8dff3ea36d702f85209dda19db1def9584068dbc /doc/misc/reftex.texi | |
| parent | 75b76b8763d7e2878095e1033be95d33940aaf90 (diff) | |
| download | emacs-de229ee3d4597519397f259bab4312edc100dbd1.tar.gz emacs-de229ee3d4597519397f259bab4312edc100dbd1.zip | |
* doc/misc/efaq-w32.texi, reftex.texi: Use @insertcopying in non-TeX.
Diffstat (limited to 'doc/misc/reftex.texi')
| -rw-r--r-- | doc/misc/reftex.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/misc/reftex.texi b/doc/misc/reftex.texi index 4c34cc4aa01..a50da1970ff 100644 --- a/doc/misc/reftex.texi +++ b/doc/misc/reftex.texi | |||
| @@ -98,6 +98,8 @@ modify this GNU manual.'' | |||
| 98 | @node Top | 98 | @node Top |
| 99 | @top @RefTeX{} | 99 | @top @RefTeX{} |
| 100 | 100 | ||
| 101 | @insertcopying | ||
| 102 | |||
| 101 | @RefTeX{} is a package for managing Labels, References, Citations and | 103 | @RefTeX{} is a package for managing Labels, References, Citations and |
| 102 | index entries with GNU Emacs. | 104 | index entries with GNU Emacs. |
| 103 | 105 | ||