view docs/makefile @ 6549:e45bfd1e0588

topic: don't write namespace into commit extras if there's no topic

Topic namespace is considered a part of topic, but topic is more important than
just namespace alone, so it doesn't make a lot of sense to have topic namespace
on a commit unless it also has topic.

We could simple ignore topic namespace in such cases, but it makes sense to not
record it at all.

SPHINXBUILD ?= python3 -m sphinx -b html

.PHONY: all
all: tutorials/tutorial.rst tutorials/topic-tutorial.rst static/logo-evolve.ico
	$(SPHINXBUILD) . ../html/

tutorials/tutorial.rst: tutorials/tutorial.t test2rst.py
	python3 test2rst.py $<

tutorials/topic-tutorial.rst: tutorials/topic-tutorial.t test2rst.py
	python3 test2rst.py $<

static/logo-evolve.ico: static/logo-evolve.svg
	convert -resize 36x36 $< $@

.PHONY: clean
clean:
	rm -rf ../html
	rm -f static/logo-evolve.ico
	rm -f tutorials/tutorial.rst
	rm -f tutorials/topic-tutorial.rst