Clean gmp.h

diff --git a/gmp/ghc.mk b/gmp/ghc.mk
index 7dc168f..8ae6459 100644 (file)
--- a/gmp/ghc.mk
+++ b/gmp/ghc.mk
@@ -97,7 +97,7 @@ gmp/libgmp.a:
 
 ifneq "$(NO_CLEAN_GMP)" "YES"
 $(eval $(call clean-target,gmp,,\
-  gmp/libgmp.a gmp/gmpbuild gmp/$(GMP_DIR)))
+  gmp/libgmp.a gmp/gmp.h gmp/gmpbuild gmp/$(GMP_DIR)))
 endif
 
 # XXX TODO: