Remove the old ext-core docs
authorIan Lynagh <igloo@earth.li>
Tue, 14 Feb 2012 14:47:41 +0000 (14:47 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 14 Feb 2012 15:21:23 +0000 (15:21 +0000)
commit92779798ceb6f3414ed378d51dc8be5c9ca4c52d
tree3de3df55eea0d719139deaad2706cafbb3356657
parent172a0c2519234a069d046b576599def44de3e840
Remove the old ext-core docs

They've now been merged into the user guide.
docs/ext-core/Makefile [deleted file]
docs/ext-core/a4wide.sty [deleted file]
docs/ext-core/code.sty [deleted file]
docs/ext-core/core.bib [deleted file]
docs/ext-core/core.tex [deleted file]
docs/ext-core/ghc.mk [deleted file]
ghc.mk