Nuke arch-tags.

[gnu-emacs] / doc / emacs / emacs-xtra.texi

diff --git a/doc/emacs/emacs-xtra.texi b/doc/emacs/emacs-xtra.texi
index 9d20b335355399c4ec3951ca1af1fae076972383..ee75a07d1004b3d48bb2e460a2ebdf1abdb043c9 100644 (file)
--- a/doc/emacs/emacs-xtra.texi
+++ b/doc/emacs/emacs-xtra.texi
@@ -136,7 +136,3 @@ the Emacs manual.
 @printindex cp
 
 @bye
-
-@ignore
-   arch-tag: 75c33f13-32c6-41b6-9537-847a312e2e49
-@end ignore