Use bash to run boot-pkgs, the default Solaris shell doesn't support the -ot test...
[ghc-hetmet.git] / SUBMAKEHELP
2009-06-16 Simon Marlowmention 'make {html,ps,pdf}'