5.005_62: make distclean problem #734
`make distclean' takes longer than it used to, and (at least in some
Details to follow.
On Mon Oct 18 13:23:22 1999, firstname.lastname@example.org wrote:
This problem has been fixed sometime in the past seven years :) Thanks