- make sure that doc/*.txt have the right copyright year and the
new release is included
- make absolutely sure checked-out tree is "clean"
- make sure that doc/*.txt have the right copyright year and the
new release is included
- make absolutely sure checked-out tree is "clean"