src/Doc/Corec/document/build
author blanchet
Tue Mar 29 09:45:54 2016 +0200 (2016-03-29)
changeset 62739 628c97d39627
permissions -rwxr-xr-x
added sketchy 'corec' documentation
blanchet@62739
     1
#!/usr/bin/env bash
blanchet@62739
     2
blanchet@62739
     3
set -e
blanchet@62739
     4
blanchet@62739
     5
FORMAT="$1"
blanchet@62739
     6
VARIANT="$2"
blanchet@62739
     7
blanchet@62739
     8
"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
blanchet@62739
     9