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