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 85497e984f87..c14767f11367 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)
--
GitLab