From 70d6d8d57c4434bab0ce50515c5f5a063b588886 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Thu, 28 Apr 2011 20:23:22 +0100
Subject: [PATCH] Remove html, pdf and ps from the list of targets in MAKEHELP

They don't exist in the makefiles.
---
 MAKEHELP |    6 ------
 1 file changed, 6 deletions(-)

diff --git a/MAKEHELP b/MAKEHELP
index 85497e9..c14767f 100644
--- a/MAKEHELP
+++ b/MAKEHELP
@@ -25,12 +25,6 @@ Common commands:
 
      Shows the targets available in <dir>
 
-  make html
-  make pdf
-  make ps
-
-     Make documentation
-
   make install
 
      Installs GHC, libraries and tools under $(prefix)
-- 
1.7.10.4