From 4b77961380ffa73de48a7e6ce871bd042345aa9c Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 8 Nov 2008 22:42:48 +0000
Subject: [PATCH] remove some hoogle workaround

---
 Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Makefile b/Makefile
index 593b2310c..f639e3788 100644
--- a/Makefile
+++ b/Makefile
@@ -77,14 +77,11 @@ api-doc-with-source haddock: api-doc-dir colourised-source $(MAIN)
 #--source-entity=src-%{MODULE/./-}.html#%N 
 
 #generate a hoogle index
-#uses system hoogle, works around http://code.google.com/p/ndmitchell/issues/detail?id=93
-#to use: hoogle --data=hoogle/default ...
 hoogleindex: $(MAIN)
 	echo "Generating hoogle index" ; \
 	mkdir -p hoogle && \
 	$(HADDOCK) -o hoogle --hoogle $^ && \
 	cd hoogle && \
-	sed -i -e 's/^(_/-- (_/' main.txt && \
 	hoogle --convert=main.txt --output=default.hoo
 
 #set up the hoogle web interface