On Wed, Apr 29, 2009 at 09:48:54PM -0500, Austin Seipp wrote: > > Building DocBook documentation : no Thanks for the report. The logic for when this is printed isn't really related to the logic for when we try to build documentation. I've added a TODO item about it to ghc.mk. Thanks Ian