13.12.README.html

README.html 不是 port 的一部分， 而是由 make readme 产生的。请不要在补丁或提交中加入这个文件。

如果 make readme 失败， 请确保 ECHO_MSG 的默认值没有被 port 修改。