Add arch tagline

diff --git a/texi/gnus-coding.texi b/texi/gnus-coding.texi
index 18b1f3d..a2ce3ce 100644 (file)
--- a/texi/gnus-coding.texi
+++ b/texi/gnus-coding.texi
@@ -155,3 +155,7 @@ Starting from No Gnus, the @file{GNUS-NEWS} is created from
 @c mode: texinfo
 @c coding: iso-8859-1
 @c End:
+
+@ignore
+   arch-tag: ab15234c-2c8a-4cbd-8111-1811bcc6f931
+@end ignore