2019-08-06 05:58:27 -07:00
|
|
|
# Dependencies:
|
|
|
|
# sudo apt-get install python-pip
|
|
|
|
# sudo pip install rst2html5
|
2019-08-05 16:46:18 -07:00
|
|
|
|
2020-01-05 12:54:51 -08:00
|
|
|
.PHONY: all all-zips protocol
|
|
|
|
all-zips:
|
2019-08-24 06:36:41 -07:00
|
|
|
$(MAKE) README.rst
|
2019-09-03 05:29:18 -07:00
|
|
|
$(MAKE) index.html $(addsuffix .html,$(filter-out README,$(basename $(wildcard *.rst))))
|
2019-08-24 05:56:44 -07:00
|
|
|
|
2020-01-05 12:54:51 -08:00
|
|
|
all: all-zips protocol
|
|
|
|
|
|
|
|
protocol:
|
|
|
|
$(MAKE) -C protocol
|
|
|
|
|
2019-08-24 06:36:41 -07:00
|
|
|
index.html: README.rst
|
2019-09-03 05:29:18 -07:00
|
|
|
$(eval TITLE::=$(shell echo '$(basename $<)' | sed -r 's|zip-0{0,3}|ZIP |'): $(shell grep -E '^(\.\.)?\s*Title:' $< |sed 's|.*Title:\s*||'))
|
2019-08-24 06:36:41 -07:00
|
|
|
rst2html5 -v --title="$(TITLE)" $< >$@
|
|
|
|
sed -i 's|</head>|<link rel="stylesheet" href="css/zip-style.css"><link rel="stylesheet" href="assets/css/style.css"></head>|' $@
|
2019-11-09 09:50:56 -08:00
|
|
|
sed -i 's|<a href="\([^":]*\).rst">|<a href="\1">|' $@
|
2019-08-24 06:36:41 -07:00
|
|
|
|
2019-08-05 17:05:27 -07:00
|
|
|
%.html: %.rst
|
2019-09-03 05:29:18 -07:00
|
|
|
$(eval TITLE::=$(shell echo '$(basename $<)' | sed -r 's|zip-0{0,3}|ZIP |'): $(shell grep -E '^(\.\.)?\s*Title:' $< |sed 's|.*Title:\s*||'))
|
2019-08-06 05:58:27 -07:00
|
|
|
rst2html5 -v --title="$(TITLE)" $< >$@
|
2019-08-05 17:21:10 -07:00
|
|
|
sed -i 's|</head>|<link rel="stylesheet" href="css/zip-style.css"><link rel="stylesheet" href="assets/css/style.css"></head>|' $@
|
2019-11-09 09:50:56 -08:00
|
|
|
sed -i 's|<a href="\([^":]*\).rst">|<a href="\1">|' $@
|
2019-08-05 17:21:10 -07:00
|
|
|
|
2019-11-17 09:30:45 -08:00
|
|
|
README.rst: makeindex.sh README.template $(filter-out README.rst,$(wildcard *.rst))
|
2019-08-24 06:36:41 -07:00
|
|
|
./makeindex.sh | cat README.template - >README.rst
|
2019-08-05 17:21:10 -07:00
|
|
|
|
2019-08-24 05:56:44 -07:00
|
|
|
.PHONY: clean
|
2019-08-05 17:21:10 -07:00
|
|
|
clean:
|
2019-08-24 06:36:41 -07:00
|
|
|
rm -f README.rst index.html $(addsuffix .html,$(basename $(wildcard *.rst)))
|