update DOC and INSTALL files