Commit 728305d71aeb506e70ead29f533c5282e460f727

Tom Tromey 1997-04-27T17:46:53

doc fix