2000-09-06 21:29:32 -04:00
|
|
|
# Rules to only make the required HTML versions, not all of them,
|
|
|
|
# without the user having to keep track of which.
|
|
|
|
#
|
|
|
|
# Not really important, but convenient.
|
|
|
|
|
2009-01-27 15:05:05 -05:00
|
|
|
PEP2HTML=pep2html.py
|
|
|
|
|
2017-02-13 13:47:14 -05:00
|
|
|
PYTHON=python3
|
2000-09-06 21:29:32 -04:00
|
|
|
|
2016-06-23 18:57:01 -04:00
|
|
|
.SUFFIXES: .txt .html .rst
|
2000-09-06 21:29:32 -04:00
|
|
|
|
|
|
|
.txt.html:
|
2009-09-17 05:42:09 -04:00
|
|
|
@$(PYTHON) $(PEP2HTML) $<
|
2000-09-06 21:29:32 -04:00
|
|
|
|
2016-06-23 18:57:01 -04:00
|
|
|
.rst.html:
|
|
|
|
@$(PYTHON) $(PEP2HTML) $<
|
|
|
|
|
2018-07-10 09:10:43 -04:00
|
|
|
TARGETS= $(patsubst %.rst,%.html,$(wildcard pep-????.rst)) $(patsubst %.txt,%.html,$(wildcard pep-????.txt)) pep-0000.html
|
2000-09-06 21:29:32 -04:00
|
|
|
|
2018-07-10 09:10:43 -04:00
|
|
|
all: pep-0000.rst $(TARGETS)
|
2000-11-03 10:42:20 -05:00
|
|
|
|
2002-05-28 11:30:29 -04:00
|
|
|
$(TARGETS): pep2html.py
|
|
|
|
|
2018-07-10 09:10:43 -04:00
|
|
|
pep-0000.rst: $(wildcard pep-????.txt) $(wildcard pep-????.rst) $(wildcard pep0/*.py) genpepindex.py
|
2009-01-27 15:05:05 -05:00
|
|
|
$(PYTHON) genpepindex.py .
|
2009-01-07 22:53:19 -05:00
|
|
|
|
2015-01-14 16:05:43 -05:00
|
|
|
rss:
|
|
|
|
$(PYTHON) pep2rss.py .
|
|
|
|
|
2000-11-03 10:42:20 -05:00
|
|
|
install:
|
2006-01-15 02:29:30 -05:00
|
|
|
echo "Installing is not necessary anymore. It will be done in post-commit."
|
2000-11-03 10:42:20 -05:00
|
|
|
|
|
|
|
clean:
|
2018-07-10 09:10:43 -04:00
|
|
|
-rm pep-0000.rst
|
2009-01-07 22:53:19 -05:00
|
|
|
-rm pep-0000.txt
|
2000-11-03 10:42:20 -05:00
|
|
|
-rm *.html
|
2019-02-23 13:02:57 -05:00
|
|
|
-rm -rf build
|
2000-11-06 10:30:47 -05:00
|
|
|
|
|
|
|
update:
|
2016-06-15 17:39:53 -04:00
|
|
|
git pull https://github.com/python/peps.git
|
2015-08-08 15:54:36 -04:00
|
|
|
|
|
|
|
venv:
|
|
|
|
$(PYTHON) -m venv venv
|
|
|
|
./venv/bin/python -m pip install -U docutils
|
2019-02-23 13:02:57 -05:00
|
|
|
|
|
|
|
package: all rss
|
|
|
|
mkdir -p build/peps
|
|
|
|
cp *.html build/peps/
|
|
|
|
cp *.png build/peps/
|
|
|
|
cp *.rss build/peps/
|
|
|
|
tar -C build -czf build/peps.tar.gz peps
|