| commit | 3a6440d756863b602cfaaf0259b71950e67b2a6e | [log] [tgz] |
|---|---|---|
| author | paul <paul> | Mon Apr 07 06:02:17 2003 +0000 |
| committer | paul <paul> | Mon Apr 07 06:02:17 2003 +0000 |
| tree | e341fb75541ab4bafbd817500add90923617f818 | |
| parent | f6386eebb95769559d2c828b9b9d70c0ffd23b45 [diff] |
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.