1#!/usr/bin/env bash 2 3set -e 4 5FORMAT="$1" 6VARIANT="$2" 7 8isabelle logo 9"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" 10 11