diff man/gnu.texi @ 52401:695cf19ef79e

Add arch taglines
author Miles Bader <miles@gnu.org>
date Mon, 01 Sep 2003 15:45:59 +0000
parents 730f77edf073
children 1782f42ba3e2 375f2633d815
line wrap: on
line diff
--- a/man/gnu.texi	Mon Sep 01 15:45:46 2003 +0000
+++ b/man/gnu.texi	Mon Sep 01 15:45:59 2003 +0000
@@ -542,3 +542,7 @@
 software will greatly reduce these drains in the area of software
 production.  We must do this, in order for technical gains in productivity
 to translate into less work for us.
+
+@ignore
+   arch-tag: 21eb38f8-6fa0-480a-91cd-f3dab7148542
+@end ignore