Add arch taglines

[gnus] / texi / gnus.texi

diff --git a/texi/gnus.texi b/texi/gnus.texi
index 46350cd..190c489 100644 (file)
--- a/texi/gnus.texi
+++ b/texi/gnus.texi
@@ -28532,3 +28532,7 @@ former).  The manual is unambiguous, but it can be confusing.
 @c mode: texinfo
 @c coding: iso-8859-1
 @c End:
+
+@ignore
+   arch-tag: c9fa47e7-78ca-4681-bda9-9fef45d1c819
+@end ignore