changeset 29819:7a583e16423b

@setfilename to ../info/reftex.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 20 Jun 2000 19:54:37 +0000
parents 34438531b886
children f5dc3b2e86d4
files man/reftex.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/man/reftex.texi	Tue Jun 20 19:45:24 2000 +0000
+++ b/man/reftex.texi	Tue Jun 20 19:54:37 2000 +0000
@@ -1,6 +1,6 @@
 \input texinfo  @c -*-texinfo-*-
 @c %**start of header
-@setfilename ../reftex
+@setfilename ../info/reftex
 @settitle RefTeX User Manual
 @dircategory Editors
 @direntry