Commit ac6bacbd5df84f77ef7a8858bbf298adb30f8cde

Tom Tromey 1997-08-27T19:04:11

texinfo handling fix