Add arch tagline

diff --git a/man/xresmini.texi b/man/xresmini.texi
index d25be5e..bf791a5 100644 (file)
--- a/man/xresmini.texi
+++ b/man/xresmini.texi
@@ -297,3 +297,7 @@ The margin of the menu bar, in characters.  Default is 1.
 @appendixsec GTK resources
 
 @c  Waiting for contents
+
+@ignore
+   arch-tag: e1856f29-2482-42c0-a990-233cdccd1f21
+@end ignore