Remove html, pdf and ps from the list of targets in MAKEHELP

They don't exist in the makefiles.

diff --git a/MAKEHELP b/MAKEHELP
index 85497e9..c14767f 100644 (file)
--- 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)