Tidy sync-all up a bit, and turn on ignorecase for git repos
[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}'