Remove arch-tags from all files, since these are no longer needed.

[gnus] / texi / gnus-coding.texi

diff --git a/texi/gnus-coding.texi b/texi/gnus-coding.texi
index fd637ec..22b74c9 100644 (file)
--- a/texi/gnus-coding.texi
+++ b/texi/gnus-coding.texi
@@ -387,7 +387,3 @@ changed.
 @c mode: texinfo
 @c coding: iso-8859-1
 @c End:
 @c mode: texinfo
 @c coding: iso-8859-1
 @c End:

-
-@ignore
-   arch-tag: ab15234c-2c8a-4cbd-8111-1811bcc6f931
-@end ignore