bin/gambc-doc.unix.in

   1 #! /bin/sh
   2
   3 # Script parameters are passed in the following environment variables:
   4 #   GAMBC_DOC_GAMBCDIR_BIN
   5 #   GAMBC_DOC_GAMBCDIR_DOC
   6 #   GAMBC_DOC_ARG1
   7 #   GAMBC_DOC_ARG2
   8 #   GAMBC_DOC_ARG3
   9 #   GAMBC_DOC_ARG4
  10 #   ...
  11
  12 # echo GAMBC_DOC_GAMBCDIR_BIN = "${GAMBC_DOC_GAMBCDIR_BIN}"
  13 # echo GAMBC_DOC_GAMBCDIR_DOC = "${GAMBC_DOC_GAMBCDIR_DOC}"
  14 # echo GAMBC_DOC_ARG1 = "${GAMBC_DOC_ARG1}"
  15 # echo GAMBC_DOC_ARG2 = "${GAMBC_DOC_ARG2}"
  16 # echo GAMBC_DOC_ARG3 = "${GAMBC_DOC_ARG3}"
  17 # echo GAMBC_DOC_ARG4 = "${GAMBC_DOC_ARG4}"
  18
  19 find_in_path() # exe-name, sets `$exe'
  20 {
  21   save_IFS="${IFS}"; IFS=":"
  22   for dir in $PATH; do
  23     if test -x "$dir/$1" -a ! -d "$dir/$1"; then
  24       exe="$dir/$1"; IFS="$save_IFS"; return 0
  25     fi
  26   done
  27   exe=""; IFS="$save_IFS"; return 1
  28 }
  29
  30 find_browser() # sets `$exe'
  31 {
  32   if [ "@HELP_BROWSER@" != "" ]; then
  33     browser_list="@HELP_BROWSER@"
  34   else
  35     browser_list="lynx firefox mozilla netscape osascript"
  36   fi
  37
  38   browser_list="${GAMBC_DOC_ARG3} $browser_list"
  39
  40   for b in $browser_list; do
  41     if find_in_path $b; then
  42       browser=$b
  43       return 0
  44     fi
  45   done
  46   return 1
  47 }
  48
  49 operation_help() # sets `$exe'
  50 {
  51   if find_browser; then
  52     url="file://${GAMBC_DOC_GAMBCDIR_DOC}/gambit-c.html#${GAMBC_DOC_ARG4}"
  53     case "$browser" in
  54       osascript ) $exe <<EOF ;;
  55 tell application "Safari"
  56     open location "$url"
  57 end tell
  58 EOF
  59               * ) $exe $url ;;
  60     esac
  61   else
  62     echo "*** WARNING -- none of these browsers can be found to view the documentation:"
  63     echo "***            $browser_list"
  64     exit 1
  65   fi
  66 }
  67
  68 if [ "${GAMBC_DOC_ARG1}" = "help" ]; then
  69   operation_help
  70 else
  71   echo "*** WARNING -- unsupported operation: ${GAMBC_DOC_ARG1}"
  72   exit 1
  73 fi