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 4224aa866f579e46c6cd0d501df4a959bfaa7265..8f65e093e70a9899ef801b00614332011ea13888 100644 (file)
--- 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