Fix htdocs build