proper type-setting of cartouches (requires T1);
\usepackage[T1]{fontenc} is default for mkroot;
\usepackage[utf8]{inputenc} is obsolete in lualatex;
#!/usr/bin/env bash
set -e
FORMAT="$1"
VARIANT="$2"
"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"