diff man/reftex.texi @ 29819:7a583e16423b

@setfilename to ../info/reftex.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 20 Jun 2000 19:54:37 +0000
parents 265fdb06f294
children 95bdbefcdac6
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