+# -----------------------------------------------------------------------------
+# Doc building with Haddock
+
+HS_PPS = $(addsuffix .raw-hs, $(basename $(filter-out $(EXCLUDED_HADDOCK_SRCS), $(HS_SRCS))))
+
+HTML_DIR = html
+HTML_DOC = $(HTML_DIR)/index.html
+
+ifneq "$(HS_PPS)" ""
+html :: $(HTML_DOC)
+
+$(HTML_DOC) : $(HS_PPS) $(HADDOCK_INPLACE)
+ @$(INSTALL_DIR) $(HTML_DIR)
+ $(HADDOCK_INPLACE) $(HADDOCK_OPTS) -h -o $(HTML_DIR) $(HS_PPS)
+
+%.raw-hs : %.lhs
+ $(GHC) $(HC_OPTS) -D__HADDOCK__ -E -cpp $< -o $<.tmp && sed -e 's/^#.*//' <$<.tmp >$@
+
+%.raw-hs : %.hs
+ $(GHC) $(HC_OPTS) -D__HADDOCK__ -E -cpp $< -o $<.tmp && sed -e 's/^#.*//' <$<.tmp >$@
+
+install-docs :: $(HTML_DOC)
+ @$(INSTALL_DIR) $(datadir)/html/$(PACKAGE)
+ @for i in $(HTML_DIR)/*; do \
+ $(INSTALL_DATA) $(INSTALL_OPTS) $$i $(datadir)/html/$(PACKAGE); \
+ done
+
+endif # HS_PPS
+
+# -----------------------------------------------------------------------------
+