dodoc: adjust to "git add ." complaints.