diff options
Diffstat (limited to 'gnu/usr.bin/texinfo/doc/info-stnd.texi')
| -rw-r--r-- | gnu/usr.bin/texinfo/doc/info-stnd.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/texinfo/doc/info-stnd.texi b/gnu/usr.bin/texinfo/doc/info-stnd.texi index b2d10dc3b5b..c4238b8a3de 100644 --- a/gnu/usr.bin/texinfo/doc/info-stnd.texi +++ b/gnu/usr.bin/texinfo/doc/info-stnd.texi @@ -9,7 +9,7 @@ @synindex fn cp @synindex ky cp @comment %**end of header -@comment $Id: info-stnd.texi,v 1.1 1997/08/01 22:01:10 kstailey Exp $ +@comment $Id: info-stnd.texi,v 1.2 1999/01/11 16:38:02 espie Exp $ @dircategory Texinfo documentation system @direntry |