Drop a seven years old workaround for happy
[ghc.git] / mk /
drwxr-xr-x   ..
-rw-r--r-- 3441 build.mk.sample
-rw-r--r-- 26821 config.mk.in
-rw-r--r-- 199 custom-settings.mk
-rw-r--r-- 826 fptools.css
-rw-r--r-- 5036 install.mk.in
-rw-r--r-- 5002 project.mk.in
-rw-r--r-- 1606 sub-makefile.mk
-rw-r--r-- 2641 tree.mk
-rw-r--r-- 3112 validate-settings.mk
-rw-r--r-- 2562 ways.mk