Added .PHONY annotation for lib.info target; the real target is
python-lib.info. The annotation is needed to prevent at least GNU make from
building a second set of info files with the lib.info base name.
diff --git a/Doc/Makefile b/Doc/Makefile
index 4224aa8..8f65e09 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -184,6 +184,10 @@
-$(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