From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 2 Jun 2009 09:59:36 +0000 (+0000)
Subject: emit a helpful message if you say 'make html' and BUILD_DOCBOOK_HTML=NO
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=80637c9b178f54f1eb5352695463dad8ef3c7fc0;hp=80637c9b178f54f1eb5352695463dad8ef3c7fc0;p=ghc-hetmet.git

emit a helpful message if you say 'make html' and BUILD_DOCBOOK_HTML=NO
---