diff options
| -rw-r--r-- | contrib/texinfo/doc/texinfo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/texinfo/doc/texinfo.tex b/contrib/texinfo/doc/texinfo.tex index 3ce4715..b449f77 100644 --- a/contrib/texinfo/doc/texinfo.tex +++ b/contrib/texinfo/doc/texinfo.tex @@ -1,5 +1,5 @@ % texinfo.tex -- TeX macros to handle Texinfo files. -% $Id: texinfo.tex,v 2.227 1998/02/25 22:54:34 karl Exp $ +% $Id$ % % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98 % Free Software Foundation, Inc. |
