docs/tutorial/compile.sh
author Manuel Jacob <me@manueljacob.de>
Wed, 11 Mar 2020 16:05:53 +0100
branchstable
changeset 5207 a5876853ba15
parent 3376 aad37ffd7d58
child 5226 38d225efcea9
permissions -rwxr-xr-x
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.

#!/bin/bash
set -eox pipefail


function compile {
    pandoc \
    -s $1 \
    -o $2 \
    --toc --toc-depth=4 \
    -F pandocfilters/examples/graphviz.py -F mypandocfilters/graphviz-file.py -F mypandocfilters/raw-file.py \
    -t html5 \
    --template standalone.html --variable=template_css:uikit.css

}

compile slides.md index.html