# HG changeset patch
# User Miles Bader <miles@gnu.org>
# Date 1145856081 0
# Node ID e5703d5024e44f5dd47d301b3572b8856fa67637
# Parent  d099dc7dc981abb4913090d5b78a46fbd8c50cf1
Add arch tagline

diff -r d099dc7dc981 -r e5703d5024e4 man/xresmini.texi
--- a/man/xresmini.texi	Mon Apr 24 00:22:26 2006 +0000
+++ b/man/xresmini.texi	Mon Apr 24 05:21:21 2006 +0000
@@ -297,3 +297,7 @@
 @appendixsec GTK resources
 
 @c  Waiting for contents
+
+@ignore
+   arch-tag: e1856f29-2482-42c0-a990-233cdccd1f21
+@end ignore