Update Makefile in docs/core-spec not to use latexmk
[ghc.git] / docs / core-spec /
drwxr-xr-x   ..
-rw-r--r-- 52 .gitignore
-rw-r--r-- 11126 CoreLint.ott
-rw-r--r-- 16130 CoreSyn.ott
-rw-r--r-- 439 Makefile
-rw-r--r-- 4047 README
-rw-r--r-- 9339 core-spec.mng
-rw-r--r-- 308357 core-spec.pdf