diff options
Diffstat (limited to 'gnu/usr.bin/texinfo/doc/texinfo.txi')
| -rw-r--r-- | gnu/usr.bin/texinfo/doc/texinfo.txi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/texinfo/doc/texinfo.txi b/gnu/usr.bin/texinfo/doc/texinfo.txi index 3e809623671..ea16d1525a7 100644 --- a/gnu/usr.bin/texinfo/doc/texinfo.txi +++ b/gnu/usr.bin/texinfo/doc/texinfo.txi @@ -1,5 +1,5 @@ \input texinfo.tex @c -*-texinfo-*- -@c $Id: texinfo.txi,v 1.1 1999/01/11 16:32:51 espie Exp $ +@c $Id: texinfo.txi,v 1.2 1999/01/11 16:38:04 espie Exp $ @c %**start of header @c All text is ignored before the setfilename. |