diff options
| author | Fred Drake <fdrake@acm.org> | 1997-12-29 22:04:44 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 1997-12-29 22:04:44 (GMT) |
| commit | 13704a89288e4a742f100d3005c482162a13bf59 (patch) | |
| tree | da643fec02ee95e78a2a4195be94e1792b9a4932 | |
| parent | e66e9c556223f91664f33f210fc9df2db5163464 (diff) | |
| download | cpython-13704a89288e4a742f100d3005c482162a13bf59.zip cpython-13704a89288e4a742f100d3005c482162a13bf59.tar.gz cpython-13704a89288e4a742f100d3005c482162a13bf59.tar.bz2 | |
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.
| -rw-r--r-- | Doc/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 4224aa8..8f65e09 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 |