bug in texinfo.tex index printing

[Stepan Kasal]

Hello Karl,
  I compiled gawk.texi from gawk-3.1.4.  Then I lokked at the dvi output
at the letter `R' in the index.
The second column has stretched baselineskip, which doesn't look nice.
I thinks it's better to leave some space at the end of the column.

This can be implemented either in output routine (reagged bottom) or in
the macro \initial.  I chose the later.

Attached is a patch which implements the above idea, and fixes one more
bug: a misplaced \nobreak.

Have a nice day,
        Stepan Kasal

texinfo-20040824-printindex.patch
Description: Text document