Merge branch 'jk/subtree-install-fix' into maint

We did not generate HTML version of documentation to "git subtree" in contrib/. * jk/subtree-install-fix: subtree: add makefile target for html docs