
      install='/usr/local/src/oyster/oyster/source/starlink'
      starlink='/usr/local/src/oyster/oyster/source/starlink'
      if test "${install}" = '|INS''TALL|'; then
         install="${INSTALL:-${HOME}/star}"
      fi
      if test "${starlink}" = '|STAR''LINK|'; then
         starlink="${STARLINK:-/star}"
      fi
      if test "${install}" = "${starlink}"; then
         echo "${starlink}/docs:${starlink}/help"
      else
         echo \
         "${install}/docs:${install}/help:${starlink}/docs:${starlink}/help"
      fi
