Get new docs into CVS so nothing gets lost