LATEX_DOCS is no longer used
authorIan Lynagh <ian@well-typed.com>
Sat, 2 Mar 2013 00:05:22 +0000 (00:05 +0000)
committerIan Lynagh <ian@well-typed.com>
Sat, 2 Mar 2013 00:05:22 +0000 (00:05 +0000)
commit01ac518a5970f7cf63991dd914c5580242166249
treebd2218f855c45f9891d5f4f679b54194b447fb5e
parent116e5d2c617e7b48b65d9b28ceb7241fd4a258a6
LATEX_DOCS is no longer used
ghc.mk
mk/config.mk.in