[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