workaround for #4003, fixes HEAD build with 6.12.2
[ghc-hetmet.git] / MAKEHELP
2009-06-16 Simon Marlowsuggest "cd <dir>; make help"
2009-06-16 Simon Marlowmention 'make {html,ps,pdf}'
2009-06-15 Simon MarlowAdd 'make help', displaying a list of useful make targets