Remove push-all from file list in boot script (push-all no longer exists)
[ghc-hetmet.git] / SUBMAKEHELP
2010-06-16 Ian LynaghMake the "show" target work anywhere in the build tree
2009-06-16 Simon Marlowmention 'make {html,ps,pdf}'