Dec. 3, 2002
11:23 a.m.
Skip Montanaro wrote:
Do we really need both Doc/whatsnew/* and Misc/NEWS?
Yes, we do. Misc/NEWS is complete, listing everything that's changed since the previous version. whatsnew is friendly, and there's a cutoff point; some changes are too trivial or esoteric to be worth mentioning. Feel free to only edit Misc/NEWS; before releases I'll go through it to find things I've missed, so there's no need to update whatsnew23.tex. I don't mind if people edit whatsnew23.tex to add items, but it's certainly not necessary. --amk