-@@ -2572,8 +2572,7 @@
- this, you must run the @code{texindex} command after first running the
- @code{tex} typesetting command; and then you must run the @code{tex}
- command again. Or else run the @code{texi2dvi} command which
--automatically creates indices as needed (@pxref{Format with
--@t{texi2dvi}}).
-+automatically creates indices as needed (@pxref{@t{texi2dvi}}).
-
- Often, when you are writing a document, you want to typeset and print
- only part of a file to see what it will look like. You can use the
-@@ -3093,7 +3092,7 @@
- when generating Info, etc. The @code{\input} line is still ignored in
- this processing, as well as leading blank lines.
+@@ -1961,7 +1961,7 @@
+ the original file name to leave enough space for the subfile suffix,
+ thus producing files named @file{texin-10}, @file{gcc.i12}, etc.