src/Doc/Corec/document/build
changeset 62739 628c97d39627
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Doc/Corec/document/build	Tue Mar 29 09:45:54 2016 +0200
     1.3 @@ -0,0 +1,9 @@
     1.4 +#!/usr/bin/env bash
     1.5 +
     1.6 +set -e
     1.7 +
     1.8 +FORMAT="$1"
     1.9 +VARIANT="$2"
    1.10 +
    1.11 +"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
    1.12 +