From 2a4c95b8156e13f09551614ef563c973485b3e8f Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 2 Jul 2002 08:41:28 +0000
Subject: [PATCH] [project @ 2002-07-02 08:41:28 by simonmar] Allow Haddock
 docs to be turned off by setting $(NO_HADDOCK_DOCS) to
 "YES"

---
 mk/package.mk |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mk/package.mk b/mk/package.mk
index 726f4b5..651ddf5 100644
--- a/mk/package.mk
+++ b/mk/package.mk
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: package.mk,v 1.14 2002/07/01 15:16:33 simonmar Exp $
+# $Id: package.mk,v 1.15 2002/07/02 08:41:28 simonmar Exp $
 
 ifneq "$(PACKAGE)" ""
 
@@ -135,6 +135,8 @@ endif # way
 # -----------------------------------------------------------------------------
 # Doc building with Haddock
 
+ifneq "$(NO_HADDOCK_DOCS)" "YES"
+
 HS_PPS = $(addsuffix .raw-hs, $(basename $(filter-out $(EXCLUDED_HADDOCK_SRCS), $(HS_SRCS))))
 
 HTML_DIR = html
@@ -164,6 +166,7 @@ install-docs :: $(HTML_DOC)
 	done
 
 endif # HS_PPS
+endif # NO_HADDOCK_DOCS
 
 # -----------------------------------------------------------------------------
 
-- 
1.7.10.4