tree e341fb75541ab4bafbd817500add90923617f818
parent f6386eebb95769559d2c828b9b9d70c0ffd23b45
author paul <paul> 1049695337 +0000
committer paul <paul> 1049695337 +0000

Remove auto* files from the repository.
Developers working with the repository should have the appropriate tools.
Out-of-sync files cause far too many problems with users as well as auto*
scripts not being half as portable across systems as they ought to be.
make-dist exists for a reason.
Todo: make the CVS snapshot script do make-dist, and use the resulting
tarball as the snapshot.