# HG changeset patch
# User Miles Bader <miles@gnu.org>
# Date 1085897185 0
# Node ID fea2f114cd7de4ffdc2b493186355bbe3dc52c7a
# Parent  c178e775426f1739904153a3815ba3dae8d144d6
Changes from arch/CVS synchronization

diff -r c178e775426f -r fea2f114cd7d man/flymake.texi
--- a/man/flymake.texi	Sun May 30 02:04:24 2004 +0000
+++ b/man/flymake.texi	Sun May 30 06:06:25 2004 +0000
@@ -765,3 +765,7 @@
 @printindex cp
 
 @bye
+
+@ignore
+   arch-tag: 9f0db077-5598-49ab-90b9-8df9248a63ec
+@end ignore