fix install-docs for non-html docs