Nuke arch-tags.

[gnu-emacs] / doc / misc / sem-user.texi

diff --git a/doc/misc/sem-user.texi b/doc/misc/sem-user.texi
index f986c0fd452fd917e907ccb16ce3e4039a712d8b..ec35b92d61fba858e10b16ad70f834069ff4eb6b 100644 (file)
--- a/doc/misc/sem-user.texi
+++ b/doc/misc/sem-user.texi
@@ -1330,7 +1330,3 @@ To add other kind of decorations on a tag, @code{NAME-highlight} must use
 @dfn{semantic-decorate-tag}, and other functions of the semantic
 decoration @var{api} found in this library.
 @end defun
-
-@ignore
-   arch-tag: 760dca58-7119-484e-8237-866cbaf36f79
-@end ignore