
      install='/tmp/B.001f0b/starlink-htx-1.2_7.218-root-builder/usr/lib/star'
      starlink='/usr/lib/star'
      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
