diff man/gnu.texi @ 89909:68c22ea6027c

Sync to HEAD
author Kenichi Handa <handa@m17n.org>
date Fri, 16 Apr 2004 12:51:06 +0000
parents 375f2633d815
children fbb2bea03df9
line wrap: on
line diff
--- a/man/gnu.texi	Thu Apr 15 01:08:34 2004 +0000
+++ b/man/gnu.texi	Fri Apr 16 12:51:06 2004 +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