Update html-doc-framework.