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