From: Ian Lynagh Date: Sun, 15 Apr 2007 16:27:17 +0000 (+0000) Subject: Don't try to install docs stuff if NO_HADDOCK_DOCS=YES X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=438e00e06ec0851a6ab0813ba7f7cab5b19e4161 Don't try to install docs stuff if NO_HADDOCK_DOCS=YES --- diff --git a/libraries/Makefile b/libraries/Makefile index fe89436..da1ecab 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -172,12 +172,14 @@ doc.library.%: stamp/configure.library.build$(CONFIGURE_STAMP_EXTRAS).% \ INSTALL_DIR=$(prefix)/share/ghc/doc/html/ install: $(foreach SUBDIR,$(SUBDIRS),install.library.$(SUBDIR)) +ifneq "$(NO_HADDOCK_DOCS)" "YES" $(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) +endif # Cabal doesn't let us ask to install docs only, so do nothing here install-docs: