delete obsolete files
add back freshly-generated docs