diff man/texinfo.texi @ 355:182f72e8cd0d r21-1-7

Import from CVS: tag r21-1-7
author cvs
date Mon, 13 Aug 2007 10:56:21 +0200
parents 54f7aa390f4f
children 8e84bee8ddd0
line wrap: on
line diff
--- a/man/texinfo.texi	Mon Aug 13 10:55:35 2007 +0200
+++ b/man/texinfo.texi	Mon Aug 13 10:56:21 2007 +0200
@@ -1,9 +1,9 @@
 \input texinfo.tex    @c -*-texinfo-*-
-@c $Id: texinfo.texi,v 1.9 1999/03/04 15:44:45 steveb Exp $
+@c $Id: texinfo.texi,v 1.10 1999/08/28 20:24:17 vins Exp $
 @c %**start of header
 
 @c All text is ignored before the setfilename.
-@setfilename ../info/texinfo
+@setfilename ../info/texinfo.info
 @settitle Texinfo @value{edition}
 
 @c Edition number is now the same as the Texinfo distribution version number.