From 438e00e06ec0851a6ab0813ba7f7cab5b19e4161 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 15 Apr 2007 16:27:17 +0000 Subject: [PATCH] Don't try to install docs stuff if NO_HADDOCK_DOCS=YES --- libraries/Makefile | 2 ++ 1 file changed, 2 insertions(+) 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: -- 1.7.10.4