# HG changeset patch
# User Miles Bader <miles@gnu.org>
# Date 1105756202 0
# Node ID 83df5808ec6b218d946f563a663cc58d9a69aaf3
# Parent  dbd07a2c89d3819a74fdd536f29f9f803e2cb725
Changes from arch/CVS synchronization

diff -r dbd07a2c89d3 -r 83df5808ec6b man/reftex.texi
--- a/man/reftex.texi	Fri Jan 14 13:08:16 2005 +0000
+++ b/man/reftex.texi	Sat Jan 15 02:30:02 2005 +0000
@@ -5891,3 +5891,6 @@
 @contents
 @bye
 
+@ignore
+   arch-tag: 1e055774-0576-4b1b-b47f-550d0961fd43
+@end ignore