Commit 92e7f9f85bac32e6e00ff7f9d1dca35a901cdea7

Tom Tromey 1997-09-29T19:26:23

fixed 'make dist'