fix-html-docs.patch
