view docs/makefile @ 6560:abbba073aa88

topic: check for devel.randomseed existence correctly Judging by the block of code above this patch, we want to check for presence of the same config option as we then add. So in this case, it would be devel.randomseed, and not just devel.random. I couldn't find any mention of devel.random in evolve, topic or core, which makes me think it was just a typo.
author Anton Shestakov <av6@dwimlabs.net>
date Fri, 29 Sep 2023 16:36:32 -0300
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