diff man/frames.texi @ 52401:695cf19ef79e

Add arch taglines
author Miles Bader <miles@gnu.org>
date Mon, 01 Sep 2003 15:45:59 +0000
parents 4216caa0b2be
children 3649390c0f91 375f2633d815
line wrap: on
line diff
--- a/man/frames.texi	Mon Sep 01 15:45:46 2003 +0000
+++ b/man/frames.texi	Mon Sep 01 15:45:59 2003 +0000
@@ -954,3 +954,7 @@
 when you press the mouse button.  The Linux console supports this
 mode if it has support for the mouse enabled, e.g.@: using the
 @command{gpm} daemon.
+
+@ignore
+   arch-tag: 7dcf3a31-a43b-45d4-a900-445b10d77e49
+@end ignore