Commit 601054cb0ccb14c2e2ffe4f46f072d7a195593de

Tom Tromey 1997-09-02T05:52:03

TEXINFO_TEX fixlet