docs/makefile
author Manuel Jacob <me@manueljacob.de>
Wed, 11 Mar 2020 16:05:53 +0100
branchstable
changeset 5207 a5876853ba15
parent 4631 150be007f421
child 5226 38d225efcea9
permissions -rw-r--r--
evolve: support successors of ancestor of orphan with multiple roots The previous code checked that the set of successors has a single root. However, there’s no reason to require that in general. Example: o 6 | o 5 |\ | o 4 | | o | 3 |/ | * 2 | | | x 1 |/ o 0 1 is obsoleted by 3, 4 and 6. We are considering the case when 2 gets evolved. The roots are [3, 4] and the heads are [6]. Before the change, the user was asked which destination to choose, but there was only one choice (6). After the change, 6 is chosen as the destination.

SPHINXBUILD ?= sphinx-build

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

tutorials/tutorial.rst: tutorials/tutorial.t test2rst.py
	python test2rst.py tutorials/

tutorials/topic-tutorial.rst: tutorials/topic-tutorial.t test2rst.py
	python test2rst.py tutorials/

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