diff --git a/ghc/includes/Makefile b/ghc/includes/Makefile
index d9c2d1eca7ce10226c5143dc5611631bea6f57e5..19471af94b6ecc4f99cdcb2d6a3e61d6a8dab133 100644
--- a/ghc/includes/Makefile
+++ b/ghc/includes/Makefile
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $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