Tweak previous NEWS change

[gnu-emacs] / doc / misc / reftex.texi

diff --git a/doc/misc/reftex.texi b/doc/misc/reftex.texi
index 4c34cc4aa01d372e320f6e501150c5b0f14087b4..99266de4d85688c7cd307fabfcd12218bd2a8ac3 100644 (file)
--- a/doc/misc/reftex.texi
+++ b/doc/misc/reftex.texi
@@ -2,6 +2,7 @@
 @c %**start of header
 @setfilename ../../info/reftex
 @settitle RefTeX User Manual
+@documentencoding UTF-8
 @synindex ky cp
 @syncodeindex vr cp
 @syncodeindex fn cp
@@ -98,6 +99,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.