html_installed_root shouldn't contain $$pkgid
[ghc.git] / mk /
drwxr-xr-x   ..
-rw-r--r-- 2350 boilerplate.mk
-rw-r--r-- 5827 bootstrap.mk
-rw-r--r-- 2530 build.mk.sample
-rw-r--r-- 40959 config.mk.in
-rw-r--r-- 137 custom-settings.mk
-rw-r--r-- 625 fix_install_names.sh
-rw-r--r-- 826 fptools.css
-rw-r--r-- 9853 install.mk
-rw-r--r-- 5296 opts.mk
-rw-r--r-- 9045 package.mk
-rw-r--r-- 10658 paths.mk
-rw-r--r-- 3336 recurse.mk
-rw-r--r-- 9952 suffix.mk
-rw-r--r-- 22393 target.mk
-rw-r--r-- 277 validate-settings.mk