@setfilename to ../info/reftex.

diff --git a/man/reftex.texi b/man/reftex.texi
index f7cb4124930604ae2a8a2051cab145b78b4352ef..cff1f4a19e356b8b85fc269fd7fb5d9610f90356 100644 (file)
--- a/man/reftex.texi
+++ b/man/reftex.texi
@@ -1,6 +1,6 @@
 \input texinfo  @c -*-texinfo-*-
 @c %**start of header
-@setfilename ../reftex
+@setfilename ../info/reftex
 @settitle RefTeX User Manual
 @dircategory Editors
 @direntry