Oliver Braun 54137a58b5 * Add new knob WITH_DOCS to install the user ... documentation and the hyperlinkable documentation, generated by haddock and HsColour. * Build haddock and HsColour for building documentaion only. * Install manpage. PR: ports/120975 Submitted by: Jacula Modyun <jacula@gmail.com>		2008-02-29 21:15:51 +00:00
..
patch-ghc-rts-package.conf.in	Reactivate dependency on libgmp-port	2007-12-31 10:57:54 +00:00
patch-libraries-Cabal-Distribution-Simple-Haddock.hs	* Add new knob WITH_DOCS to install the user	2008-02-29 21:15:51 +00:00
patch-utils-hsc2hs-Makefile	Reactivate dependency on libgmp-port	2007-12-31 10:57:54 +00:00
pkg-message.haddock.in	* Add new knob WITH_DOCS to install the user	2008-02-29 21:15:51 +00:00