diff man/entering.texi @ 52401:695cf19ef79e

Add arch taglines
author Miles Bader <miles@gnu.org>
date Mon, 01 Sep 2003 15:45:59 +0000
parents 23a1cea22d13
children 24bffa640391 375f2633d815
line wrap: on
line diff
--- a/man/entering.texi	Mon Sep 01 15:45:46 2003 +0000
+++ b/man/entering.texi	Mon Sep 01 15:45:59 2003 +0000
@@ -149,3 +149,7 @@
 systems as the characters for stopping or killing a program, but that is
 their only relationship with the operating system.  You can customize
 these keys to run any commands of your choice (@pxref{Keymaps}).
+
+@ignore
+   arch-tag: df798d8b-f253-4113-b585-f528f078a944
+@end ignore