From: Fred Drake Date: Mon, 29 Dec 1997 22:04:44 +0000 (+0000) Subject: Added .PHONY annotation for lib.info target; the real target is X-Git-Tag: v1.5~31 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=13704a89288e4a742f100d3005c482162a13bf59;p=python 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 4224aa866f..8f65e093e7 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