Commit ea672ae768afa2f02e26cc425f931b4ea5c08791

Tom Tromey 1997-02-22T23:07:46

remove MANS from dist