From 880d0c354f8a9e3939ed8c472e041362b6b3491b Mon Sep 17 00:00:00 2001
From: Carsten Dominik <dominik@science.uva.nl>
Date: Fri, 14 Jan 2005 10:21:54 +0000
Subject: [PATCH] corrected setfilename

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

diff --git a/man/reftex.texi b/man/reftex.texi
index a2eb8a63bc7..d0bfe59e47f 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 Emacs
 @direntry
-- 
2.39.5