Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

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

They don't exist in the makefiles.
  • Loading branch information...
commit 70d6d8d57c4434bab0ce50515c5f5a063b588886 1 parent e11c554
igfoo igfoo authored

Showing 1 changed file with 0 additions and 6 deletions. Show diff stats Hide diff stats

  1. +0 6 MAKEHELP
6 MAKEHELP
@@ -25,12 +25,6 @@ Common commands:
25 25
26 26 Shows the targets available in <dir>
27 27
28   - make html
29   - make pdf
30   - make ps
31   -
32   - Make documentation
33   -
34 28 make install
35 29
36 30 Installs GHC, libraries and tools under $(prefix)

0 comments on commit 70d6d8d

Please sign in to comment.
Something went wrong with that request. Please try again.