[Python-checkins] peps: add a rss target
benjamin.peterson
python-checkins at python.org
Wed Jan 14 22:06:04 CET 2015
https://hg.python.org/peps/rev/04d75fef530e
changeset: 5671:04d75fef530e
user: Benjamin Peterson <benjamin at python.org>
date: Wed Jan 14 16:05:43 2015 -0500
summary:
add a rss target
files:
Makefile | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -21,6 +21,9 @@
pep-0000.txt: $(wildcard pep-????.txt) $(wildcard pep0/*.py)
$(PYTHON) genpepindex.py .
+rss:
+ $(PYTHON) pep2rss.py .
+
install:
echo "Installing is not necessary anymore. It will be done in post-commit."
--
Repository URL: https://hg.python.org/peps
More information about the Python-checkins
mailing list