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;
     1 #!/usr/bin/env bash
     2 
     3 set -e
     4 
     5 FORMAT="$1"
     6 VARIANT="$2"
     7 
     8 "$ISABELLE_TOOL" logo Eisbach
     9 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
    10