From ad40cab5919c33187174ea027ea7491385c0dbf7 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 5 Jun 2009 10:09:22 +0000 Subject: [PATCH] make docs generation less verbose --- Makefile | 5 ----- 1 file changed, 5 deletions(-) diff --git a/Makefile b/Makefile index 2ebc94358..2885802dd 100644 --- a/Makefile +++ b/Makefile @@ -213,7 +213,6 @@ pdf: # We munge haddock and hoogle into a rough but useful framed layout. # For this to work the hoogle cgi must be built with base target "main". api-docs: haddock hoogle - echo "Converting api docs to frames" ; \ sed -i -e 's%^>