diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-04-15 16:27:17 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-04-15 16:27:17 +0000 |
| commit | 438e00e06ec0851a6ab0813ba7f7cab5b19e4161 (patch) | |
| tree | e3561390c561a94628788d6cf5f0b8e0167c3565 /libraries | |
| parent | 1f4784a9ee5d38364aa7f0d8f91a22069b73a6ae (diff) | |
| download | haskell-438e00e06ec0851a6ab0813ba7f7cab5b19e4161.tar.gz | |
Don't try to install docs stuff if NO_HADDOCK_DOCS=YES
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libraries/Makefile b/libraries/Makefile index fe89436457..da1ecab916 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: |