fix it so that 'make' on its own works even if we're not building docs
[ghc-hetmet.git] / gmp /
drwxr-xr-x   ..
-rw-r--r-- 4025 ghc.mk
-rw-r--r-- 18 ln
drwxr-xr-x - tarball