lib/Tools/doc
author wenzelm
Sat Dec 20 11:39:27 2008 +0100 (2008-12-20)
changeset 29143 72c960b2b83e
parent 28650 a7ba12e0d3b7
child 32322 45cb4a86eca2
permissions -rwxr-xr-x
removed Ids;
wenzelm@10555
     1
#!/usr/bin/env bash
wenzelm@2332
     2
#
wenzelm@9788
     3
# Author: Markus Wenzel, TU Muenchen
wenzelm@2332
     4
#
wenzelm@2332
     5
# DESCRIPTION: view Isabelle documentation
wenzelm@2332
     6
wenzelm@2332
     7
wenzelm@10511
     8
PRG="$(basename "$0")"
wenzelm@2332
     9
wenzelm@2332
    10
function usage()
wenzelm@2332
    11
{
wenzelm@2332
    12
  echo
wenzelm@28650
    13
  echo "Usage: isabelle $PRG [DOC]"
wenzelm@2332
    14
  echo
wenzelm@2332
    15
  echo "  View Isabelle documentation DOC, or show list of available documents."
wenzelm@2332
    16
  echo
wenzelm@2332
    17
  exit 1
wenzelm@2332
    18
}
wenzelm@2332
    19
wenzelm@2332
    20
function fail()
wenzelm@2332
    21
{
wenzelm@2332
    22
  echo "$1" >&2
wenzelm@2332
    23
  exit 2
wenzelm@2332
    24
}
wenzelm@2332
    25
wenzelm@2332
    26
wenzelm@2332
    27
## args
wenzelm@2332
    28
wenzelm@2332
    29
DOC=""
wenzelm@9788
    30
[ "$#" -ge 1 ] && { DOC="$1"; shift; }
wenzelm@2332
    31
wenzelm@9788
    32
[ "$#" -ne 0 -o "$DOC" = "-?" ] && usage
wenzelm@2332
    33
wenzelm@2332
    34
wenzelm@2332
    35
## main
wenzelm@2332
    36
wenzelm@2332
    37
if [ -z "$DOC" ]; then
wenzelm@9788
    38
  ORIG_IFS="$IFS"
wenzelm@9788
    39
  IFS=":"
wenzelm@9788
    40
  for DIR in $ISABELLE_DOCS
wenzelm@2332
    41
  do
wenzelm@15703
    42
    [ -d "$DIR" ] || fail "Bad document directory: $DIR"
wenzelm@9788
    43
    [ -f "$DIR/Contents" ] && grep -v "^>>" "$DIR/Contents"
wenzelm@2332
    44
  done
wenzelm@9788
    45
  IFS="$ORIG_IFS"
wenzelm@2332
    46
else
wenzelm@9788
    47
  ORIG_IFS="$IFS"
wenzelm@9788
    48
  IFS=":"
wenzelm@9788
    49
  for DIR in $ISABELLE_DOCS
wenzelm@2332
    50
  do
wenzelm@15703
    51
    IFS="$ORIG_IFS"
wenzelm@15703
    52
    [ -d "$DIR" ] || fail "Bad document directory: $DIR"
wenzelm@15703
    53
    for FMT in "$ISABELLE_DOC_FORMAT" dvi
wenzelm@15703
    54
    do
wenzelm@28500
    55
      [ -f "$DIR/$DOC.$FMT" ] && { cd "$DIR"; exec "$ISABELLE_TOOL" display "$DOC.$FMT"; }
wenzelm@15703
    56
    done
wenzelm@2332
    57
  done
wenzelm@9788
    58
  IFS="$ORIG_IFS"
wenzelm@2332
    59
  fail "Unknown Isabelle document: $DOC"  
wenzelm@2332
    60
fi
wenzelm@15717
    61