Changes from arch/CVS synchronization

diff --git a/man/reftex.texi b/man/reftex.texi
index d0bfe59e47ff7a6c740b9c85b8df77fc78391aa5..b3c2f25c58a0c4b539c87c3bdd38faf177cadb10 100644 (file)
--- a/man/reftex.texi
+++ b/man/reftex.texi
@@ -5891,3 +5891,6 @@ released on 7 Jan 1997.
 @contents
 @bye
 
+@ignore
+   arch-tag: 1e055774-0576-4b1b-b47f-550d0961fd43
+@end ignore