We need the #line directives left in, so that Haddock can figure out
what the name of the original source file was called, which is
necessary for generating source links. You probably now need an
updated Haddock to generate HTML from the libraries, but a release
will be forthcoming shortly.
CLEAN_FILES += $(PACKAGE).haddock
%.raw-hs : %.lhs
CLEAN_FILES += $(PACKAGE).haddock
%.raw-hs : %.lhs
- $(HC) $(HC_OPTS) -D__HADDOCK__ -E -optP-P $< -o $@
+ $(HC) $(HC_OPTS) -D__HADDOCK__ -E $< -o $@
- $(HC) $(HC_OPTS) -D__HADDOCK__ -E -optP-P $< -o $@
+ $(HC) $(HC_OPTS) -D__HADDOCK__ -E $< -o $@
HTML_INSTALL_DIR = $(datadir)/html/libraries/$(PACKAGE)
# NOT the same as HTML_DIR_INSTALLED when BIN_DIST is on
HTML_INSTALL_DIR = $(datadir)/html/libraries/$(PACKAGE)
# NOT the same as HTML_DIR_INSTALLED when BIN_DIST is on