[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

 # -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.12 2000/08/02 14:13:27 rrt Exp $
+# $Id: Makefile,v 1.13 2000/08/07 16:07:53 rrt Exp $
 #
 
 TOP = ..
@@ -15,6 +15,8 @@ H_FILES = $(filter-out gmp.h,$(wildcard *.h)) gmp.h
 #
 H_CONFIG = config.h
 
+boot :: gmp.h
+
 all :: $(H_CONFIG) NativeDefs.h
 
 # gmp.h is copied from the GMP directory