diff --git a/Makefile.generating b/Makefile.generating
index af873d23e5c06045ea8729337a525ebfcf31700a..7265432b405fc56ead4219c351b1b13da8bc371d 100644
--- a/Makefile.generating
+++ b/Makefile.generating
@@ -195,7 +195,6 @@ endif
 	for PKG in $(LIBRARY_NAMES); do echo PKG $$PKG >> .merlin; done
 	for PKG in $(LIBRARY_NAMES_GUI); do echo PKG $$PKG >> .merlin; done
 	for PKG in $(MERLIN_PACKAGES); do echo PKG $$PKG >> .merlin; done
-	echo "PKG gmp" >> .merlin
 	echo "B lib/plugins" >> .merlin
 	echo "B lib/plugins/gui" >> .merlin
 	find src \( -name '.*' -o -name tests -o -name doc -o -name '*.cache' \) -prune \