From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 28 May 2009 11:16:08 +0000 (+0000)
Subject: fix it so that 'make' on its own works even if we're not building docs
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=c34d7dd7c5d01910e5a73b1da3a72ad1a20fa692;hp=c34d7dd7c5d01910e5a73b1da3a72ad1a20fa692;p=ghc-hetmet.git

fix it so that 'make' on its own works even if we're not building docs
---