Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/Corec/document/build
author wenzelm
Thu, 09 Mar 2017 15:08:44 +0100
changeset 65159 0ae97858d8b3
parent 62739 628c97d39627
permissions -rwxr-xr-x
proper treatment of line that becomes empty;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
62739
628c97d39627 added sketchy 'corec' documentation
blanchet
parents:
diff changeset 
     1
 
#!/usr/bin/env bash
628c97d39627 added sketchy 'corec' documentation
blanchet
parents:
diff changeset 
     2
 












628c97d39627
added sketchy 'corec' documentation



blanchet


parents: 

diff
changeset




     3


set -e













628c97d39627
added sketchy 'corec' documentation



blanchet


parents: 

diff
changeset




     4














628c97d39627
added sketchy 'corec' documentation



blanchet


parents: 

diff
changeset




     5


FORMAT="$1"













628c97d39627
added sketchy 'corec' documentation



blanchet


parents: 

diff
changeset




     6


VARIANT="$2"













628c97d39627
added sketchy 'corec' documentation



blanchet


parents: 

diff
changeset




     7














628c97d39627
added sketchy 'corec' documentation



blanchet


parents: 

diff
changeset




     8


"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"













628c97d39627
added sketchy 'corec' documentation



blanchet


parents: 

diff
changeset




     9
















isabelle