Add HTML_DOCTYPE to 2014-05-25-org-zh-pdf.org.