[project @ 2000-08-07 16:07:53 by rrt]
authorrrt <unknown>
Mon, 7 Aug 2000 16:07:53 +0000 (16:07 +0000)
committerrrt <unknown>
Mon, 7 Aug 2000 16:07:53 +0000 (16:07 +0000)
commit009c94a95f06dd06fed8c16433ddbf1660e51edc
tree72716d981a2879d16338387af793839a919aa97c
parente1ecea726f8fb3dc180c8aba8222f6c9e9823c47
[project @ 2000-08-07 16:07:53 by rrt]
Add gmp.h to boot target so that it gets copied during booting (otherwise
make boot breaks down).
ghc/includes/Makefile