view docs/makefile @ 6850:6d22e9a596c4

topic: compatibility for revbranchcache being in a separate module now The newer revbranchcache defaults to v2, so the name of the cache file is different. Let's glob and hide it, since its actual contents look the same (at least for the moment).
author Anton Shestakov <av6@dwimlabs.net>
date Sat, 28 Sep 2024 16:09:03 +0400
parents 5affbb44f135
children
line wrap: on
line source

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