[Python-checkins] peps: Add a make dependency on PEP index generator code to generated file

eric.araujo python-checkins at python.org
Mon Nov 28 15:08:28 CET 2011


http://hg.python.org/peps/rev/1b7fed04108c
changeset:   4004:1b7fed04108c
user:        Éric Araujo <merwok at netwok.org>
date:        Mon Nov 28 15:07:42 2011 +0100
summary:
  Add a make dependency on PEP index generator code to generated file

files:
  Makefile |  2 +-
  1 files changed, 1 insertions(+), 1 deletions(-)


diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@
 
 $(TARGETS): pep2html.py
 
-pep-0000.txt: $(wildcard pep-????.txt)
+pep-0000.txt: $(wildcard pep-????.txt) $(wildcard pep0/*.py)
 	$(PYTHON) genpepindex.py .
 
 install:

-- 
Repository URL: http://hg.python.org/peps


More information about the Python-checkins mailing list