summaryrefslogtreecommitdiff
path: root/doc/lispref/doclicense.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/lispref/doclicense.texi')
-rw-r--r--doc/lispref/doclicense.texi4
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/lispref/doclicense.texi b/doc/lispref/doclicense.texi
index 9adddffba98..0c2d47827a9 100644
--- a/doc/lispref/doclicense.texi
+++ b/doc/lispref/doclicense.texi
@@ -508,7 +508,3 @@ to permit their use in free software.
@c Local Variables:
@c ispell-local-pdict: "ispell-dict"
@c End:
-
-@ignore
- arch-tag: 9014cf6e-f3c4-401d-b8da-4fe52723984c
-@end ignore