+# -----------------------------------------------------------------------------
+# Doc building with Haddock
+
+ifneq "$(NO_HADDOCK_DOCS)" "YES"
+
+HS_PPS = $(addsuffix .raw-hs, $(basename $(filter-out $(EXCLUDED_HADDOCK_SRCS), $(HS_SRCS))))
+
+HTML_DIR = html
+HTML_DOC = $(HTML_DIR)/haddock.css
+
+ifneq "$(HS_PPS)" ""
+
+CLEAN_FILES += $(HS_PPS) $(addsuffix .tmp, $(HS_SRCS))
+
+ifeq "$(HADDOCK)" ""
+html ::
+ @echo Haddock must be installed in order to build HTML library documentation.
+ @echo Please install Haddock and re-configure.
+ @exit 1
+endif
+
+html :: $(HTML_DOC)
+
+extraclean ::
+ $(RM) -rf $(HTML_DIR)
+
+$(HTML_DOC) : $(HS_PPS)
+ @$(INSTALL_DIR) $(HTML_DIR)
+ $(HADDOCK) $(HADDOCK_OPTS) -h -o $(HTML_DIR) $(HS_PPS) \
+ --package=$(PACKAGE) \
+ --dump-interface=$(PACKAGE).haddock \
+ --use-index=../doc-index.html --use-contents=../index.html \
+ $(foreach pkg, $(PACKAGE_DEPS), \
+ --read-interface=../$(pkg),../$(pkg)/$(pkg).haddock)
+
+CLEAN_FILES += $(PACKAGE).haddock
+
+%.raw-hs : %.lhs
+ $(HC) $(HC_OPTS) -D__HADDOCK__ -E -optP-P $< -o $@
+
+%.raw-hs : %.hs
+ $(HC) $(HC_OPTS) -D__HADDOCK__ -E -optP-P $< -o $@
+
+install-docs :: $(HTML_DOC)
+ @$(INSTALL_DIR) $(datadir)/html/libraries/$(PACKAGE)
+ @for i in $(HTML_DIR)/*; do \
+ echo $(INSTALL_DATA) $(INSTALL_OPTS) $$i $(datadir)/html/libraries/$(PACKAGE); \
+ $(INSTALL_DATA) $(INSTALL_OPTS) $$i $(datadir)/html/libraries/$(PACKAGE); \
+ done
+ $(INSTALL_DATA) $(INSTALL_OPTS) $(PACKAGE).haddock $(datadir)/html/libraries/$(PACKAGE)
+
+endif # HS_PPS
+endif # NO_HADDOCK_DOCS
+
+# -----------------------------------------------------------------------------
+