diff -rupN --no-dereference openssl-3.0.7-hobbled/Configurations/unix-Makefile.tmpl openssl-3.0.7-hobbled-new/Configurations/unix-Makefile.tmpl
--- openssl-3.0.7-hobbled/Configurations/unix-Makefile.tmpl	2022-11-01 15:14:36.000000000 +0100
+++ openssl-3.0.7-hobbled-new/Configurations/unix-Makefile.tmpl	2022-11-28 16:00:17.274823815 +0100
@@ -611,7 +611,7 @@ install_sw: install_dev install_engines
 
 uninstall_sw: uninstall_runtime uninstall_modules uninstall_engines uninstall_dev
 
-install_docs: install_man_docs install_html_docs
+install_docs: install_man_docs
 
 uninstall_docs: uninstall_man_docs uninstall_html_docs
 	$(RM) -r $(DESTDIR)$(DOCDIR)