On Tue, 3 Jun 2003, Wolfgang Bangerth wrote: > Mark: since this needs to be done for every release, should it be an > early step (or even a post-release step?) in the release process? I > don't know where that is documented, though, so can't look it up... releasing.html Gerald -- Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.pfeifer.com/gerald/