diff options
Diffstat (limited to 'man/info.texi')
| -rw-r--r-- | man/info.texi | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/man/info.texi b/man/info.texi index 26f23ac7264..3ec983003f7 100644 --- a/man/info.texi +++ b/man/info.texi @@ -6,7 +6,7 @@ @syncodeindex vr cp @syncodeindex ky cp @comment %**end of header -@comment $Id: info.texi,v 1.33 2003/07/16 22:17:40 karl Exp $ +@comment $Id: info.texi,v 1.34 2003/08/03 18:29:52 karl Exp $ @copying This file describes how to use Info, the on-line, menu-driven GNU @@ -1456,3 +1456,7 @@ topics discussed in this document. @printindex cp @bye + +@ignore + arch-tag: 965c1638-01d6-4156-9227-b10418b9d8e8 +@end ignore |