Commit 9e76ccba317b51af267ab4bba623abacc13548fe

Tom Tromey 1997-04-16T06:28:58

makeinfo bug fixes