diff man/reftex.texi @ 52401:695cf19ef79e

Add arch taglines
author Miles Bader <miles@gnu.org>
date Mon, 01 Sep 2003 15:45:59 +0000
parents 23a1cea22d13
children dc7deb7ca051 375f2633d815
line wrap: on
line diff
--- a/man/reftex.texi	Mon Sep 01 15:45:46 2003 +0000
+++ b/man/reftex.texi	Mon Sep 01 15:45:59 2003 +0000
@@ -5591,3 +5591,6 @@
 @contents
 @bye
 
+@ignore
+   arch-tag: 1e055774-0576-4b1b-b47f-550d0961fd43
+@end ignore