--haddock-option=--optghc=-DSTAGE=$* \
--haddock-option=+RTS --haddock-option=-s --haddock-option=-c --haddock-option=-RTS \
--with-haddock=$(FPTOOLS_TOP_ABS)/utils/haddock/install-inplace/bin/haddock
--haddock-option=--optghc=-DSTAGE=$* \
--haddock-option=+RTS --haddock-option=-s --haddock-option=-c --haddock-option=-RTS \
--with-haddock=$(FPTOOLS_TOP_ABS)/utils/haddock/install-inplace/bin/haddock