src/Doc/Eisbach/document/build
author wenzelm
Sun May 17 23:03:49 2015 +0200 (2015-05-17)
changeset 60288 d7f636331176
child 62589 b5783412bfed
permissions -rwxr-xr-x
added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;
wenzelm@60288
     1
#!/usr/bin/env bash
wenzelm@60288
     2
wenzelm@60288
     3
set -e
wenzelm@60288
     4
wenzelm@60288
     5
FORMAT="$1"
wenzelm@60288
     6
VARIANT="$2"
wenzelm@60288
     7
wenzelm@60288
     8
"$ISABELLE_TOOL" logo Eisbach
wenzelm@60288
     9
"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
wenzelm@60288
    10