fix it so that 'make' on its own works even if we're not building docs
[ghc-hetmet.git] / boot-pkgs
2009-05-14 Simon Marlowmain repeated 'make maintainer-clean' not fail