diff --git a/Doc/Makefile b/Doc/Makefile
index 4224aa866f5..8f65e093e70 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -184,6 +184,10 @@ python-lib.info: lib.texi
 	-$(MAKEINFO) --footnote-style end --fill-column 72 \
 		     --paragraph-indent 0 lib.texi
 
+# this is needed to prevent a second set of info files from being generated,
+# at least when using GNU make
+.PHONY: lib.info
+
 lib.info: python-lib.info
 
 # Targets to convert the manuals to HTML using Nikos Drakos' LaTeX to