From 0b634dc141e27ab7840e2b9a7d3753f838f432e0 Mon Sep 17 00:00:00 2001
From: Gerd Moellmann <gerd@gnu.org>
Date: Tue, 20 Jun 2000 19:54:37 +0000
Subject: [PATCH] @setfilename to ../info/reftex.

---
 man/reftex.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/man/reftex.texi b/man/reftex.texi
index f7cb4124930..cff1f4a19e3 100644
--- 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
-- 
2.39.2