From 6b910c214e27b082313289287ffa3ee41e85550c Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 26 Sep 2002 09:07:50 +0000
Subject: [PATCH] [project @ 2002-09-26 09:07:50 by simonmar] In 'make html',
 bale out with a useful message if Haddock is not installed.

---
 mk/package.mk |   10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/mk/package.mk b/mk/package.mk
index 0d51a8c..9b02258 100644
--- a/mk/package.mk
+++ b/mk/package.mk
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: package.mk,v 1.18 2002/09/25 10:32:23 simonmar Exp $
+# $Id: package.mk,v 1.19 2002/09/26 09:07:50 simonmar Exp $
 
 ifneq "$(PACKAGE)" ""
 
@@ -160,6 +160,14 @@ HTML_DIR = html
 HTML_DOC = $(HTML_DIR)/index.html
 
 ifneq "$(HS_PPS)" ""
+
+ifeq "$(HADDOCK)" ""
+html ::
+	@echo Haddock must be installed in order to build HTML library documentation.
+	@echo Please install Haddock and re-configure.
+	@exit 1
+endif
+
 html :: $(HTML_DOC)
 
 $(HTML_DOC) : $(HS_PPS)
-- 
1.7.10.4