0001-Fix-htmlhelp-generation.patch
