diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-01-02 19:15:01 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-01-02 19:15:01 -0800 |
| commit | de229ee3d4597519397f259bab4312edc100dbd1 (patch) | |
| tree | 8dff3ea36d702f85209dda19db1def9584068dbc /doc/misc/reftex.texi | |
| parent | 75b76b8763d7e2878095e1033be95d33940aaf90 (diff) | |
| download | emacs-de229ee3d4597519397f259bab4312edc100dbd1.tar.gz | |
* 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.'' @node Top @top @RefTeX{} +@insertcopying + @RefTeX{} is a package for managing Labels, References, Citations and index entries with GNU Emacs. |