* etc/TODO: Remove refs to obsolete files.

[bpt/emacs.git] / doc / misc / reftex.texi

diff --git a/doc/misc/reftex.texi b/doc/misc/reftex.texi
index 4c34cc4..99266de 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.