From e1ac5b65ae2830fc197b7c157af362415c196127 Mon Sep 17 00:00:00 2001
From: Ian Lynagh
Date: Tue, 12 Oct 2010 13:05:38 +0000
Subject: [PATCH] Follow Cabal changes: Cabal no longer has a docbook
userguide For now we don't build the Cabal userguide, but
we should add markdown support so that we can do so.
---
docs/index.html.in | 2 ++
ghc.mk | 1 -
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/docs/index.html.in b/docs/index.html.in
index e4463bc..5a65fe5 100644
--- a/docs/index.html.in
+++ b/docs/index.html.in
@@ -46,6 +46,7 @@
+
For more information, see the following:
diff --git a/ghc.mk b/ghc.mk
index 6066318..e49f34a 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -564,7 +564,6 @@ BUILD_DIRS += \
docs/users_guide \
docs/ext-core \
docs/man \
- libraries/Cabal/doc \
$(GHC_UNLIT_DIR) \
$(GHC_HP2PS_DIR)
--
1.7.10.4