Rename "extra-gcc-opts" to "settings", and start generalising it
[ghc-hetmet.git] / utils / mkUserGuidePart / Makefile
2010-08-22 Ian LynaghGenerate the bit in the user guide where we say what...