Commit d66c50fa62e7a94103b6c9bc6d8a2ae6b22a08af

Tom Tromey 1997-07-24T07:35:52

dist-zip fix