author | nipkow |
Fri, 08 Aug 2014 08:26:32 +0200 | |
changeset 57817 | dfebc374bd89 |
parent 52444 | 2cfe6656d6d6 |
child 62438 | 42e13a4f52f5 |
permissions | -rwxr-xr-x |
10555 | 1 |
#!/usr/bin/env bash |
2332 | 2 |
# |
9788 | 3 |
# Author: Markus Wenzel, TU Muenchen |
2332 | 4 |
# |
5 |
# DESCRIPTION: view Isabelle documentation |
|
6 |
||
7 |
||
10511 | 8 |
PRG="$(basename "$0")" |
2332 | 9 |
|
10 |
function usage() |
|
11 |
{ |
|
12 |
echo |
|
52444
2cfe6656d6d6
slightly improved "isabelle doc" based on Isabelle/Scala;
wenzelm
parents:
52427
diff
changeset
|
13 |
echo "Usage: isabelle $PRG [DOC ...]" |
2332 | 14 |
echo |
52444
2cfe6656d6d6
slightly improved "isabelle doc" based on Isabelle/Scala;
wenzelm
parents:
52427
diff
changeset
|
15 |
echo " View Isabelle documentation." |
2332 | 16 |
echo |
17 |
exit 1 |
|
18 |
} |
|
19 |
||
20 |
function fail() |
|
21 |
{ |
|
22 |
echo "$1" >&2 |
|
23 |
exit 2 |
|
24 |
} |
|
25 |
||
26 |
||
27 |
## args |
|
28 |
||
52444
2cfe6656d6d6
slightly improved "isabelle doc" based on Isabelle/Scala;
wenzelm
parents:
52427
diff
changeset
|
29 |
[ "$#" -eq 1 -a "$1" = "-?" ] && usage |
2332 | 30 |
|
31 |
||
32 |
## main |
|
33 |
||
52444
2cfe6656d6d6
slightly improved "isabelle doc" based on Isabelle/Scala;
wenzelm
parents:
52427
diff
changeset
|
34 |
isabelle_admin_build jars || exit $? |
32322
45cb4a86eca2
change IFS only locally -- thanks to bash arrays;
wenzelm
parents:
29143
diff
changeset
|
35 |
|
52444
2cfe6656d6d6
slightly improved "isabelle doc" based on Isabelle/Scala;
wenzelm
parents:
52427
diff
changeset
|
36 |
"$ISABELLE_TOOL" java isabelle.Doc "$@" |
15717 | 37 |