Commit 799ca1c40bbb5ee6d084d7ae703e12a6a4637176

Tom Tromey 1995-11-12T18:49:38

Changed to conform to new top-level dist target.