Commit 84fafed1f153bf8181bcdeb641cbe195fcc32fa9

Tom Tromey 1997-05-01T05:36:43

doc fix