doc-nohtmlremove.patch
