diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl

index 66617d6..5d1212a 100644

--- a/Configurations/unix-Makefile.tmpl

+++ b/Configurations/unix-Makefile.tmpl

@@ -543,7 +543,7 @@ install_sw: install_dev install_engines install_runtime

 uninstall_sw: uninstall_runtime 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)"

​