$(INSTALL_DATA) index.html doc-index.html $(INSTALL_DIR)
$(INSTALL_SCRIPT) gen_contents_index $(INSTALL_DIR)
# Hacks:
$(INSTALL_DATA) $(prefix)/share/ghc/doc/html/base/*.css $(INSTALL_DIR)
$(INSTALL_DATA) $(prefix)/share/ghc/doc/html/base/*.js $(INSTALL_DIR)
$(INSTALL_DATA) $(prefix)/share/ghc/doc/html/base/*.gif $(INSTALL_DIR)
$(INSTALL_DATA) index.html doc-index.html $(INSTALL_DIR)
$(INSTALL_SCRIPT) gen_contents_index $(INSTALL_DIR)
# Hacks:
$(INSTALL_DATA) $(prefix)/share/ghc/doc/html/base/*.css $(INSTALL_DIR)
$(INSTALL_DATA) $(prefix)/share/ghc/doc/html/base/*.js $(INSTALL_DIR)
$(INSTALL_DATA) $(prefix)/share/ghc/doc/html/base/*.gif $(INSTALL_DIR)