get rid of the html subdirectory under share/doc/ghc/users_guide

diff --git a/mk/install.mk b/mk/install.mk
index 9f4a1e5..e73a82f 100644 (file)
--- a/mk/install.mk
+++ b/mk/install.mk
@@ -279,8 +279,7 @@ install-docs:: $(foreach i,$(XMLDocWays),install-docs-$i)
 install-docs-html:
        $(INSTALL_DIR) $(DESTDIR)$(htmldir)
        $(INSTALL_DIR) $(DESTDIR)$(htmldir)/$(INSTALL_XML_DOC)
-       $(INSTALL_DIR) $(DESTDIR)$(htmldir)/$(INSTALL_XML_DOC)/html
-       $(CP) $(INSTALL_XML_DOC)/* $(DESTDIR)$(htmldir)/$(INSTALL_XML_DOC)/html
+       $(CP) $(INSTALL_XML_DOC)/* $(DESTDIR)$(htmldir)/$(INSTALL_XML_DOC)
 
 install-docs-html-no-chunks:
        $(INSTALL_DIR) $(DESTDIR)$(htmldir)