src/Doc/Intro/document/build
author haftmann
Sun Oct 08 22:28:22 2017 +0200 (23 months ago)
changeset 66816 212a3334e7da
parent 62589 b5783412bfed
permissions -rwxr-xr-x
more fundamental definition of div and mod on int
     1 #!/usr/bin/env bash
     2 
     3 set -e
     4 
     5 FORMAT="$1"
     6 VARIANT="$2"
     7 
     8 isabelle logo
     9 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
    10