翻译 "docs.html" 文件