Updated texinfo.tex
commit0ab8cb8862dea6fa7a8393fc7929a7bd83c2c3c1
authorjay <jay>
Sun, 21 Nov 2004 21:38:45 +0000 (21 21:38 +0000)
committerjay <jay>
Sun, 21 Nov 2004 21:38:45 +0000 (21 21:38 +0000)
treeb123ea51e7dd515ea029705688452343025b7471
parent0019abd66bcf6193911b23abd198135492c18c6a
Updated texinfo.tex
doc/texinfo.tex