No subject


Sun Apr 3 13:00:39 CEST 2011


# ADD THIS
 below

# A copy of some stuff from mktex.opt, so we can run in the presence of
# terminally damaged ls-R files.
while test $# -gt 0; do
  if test "x$1" =3D x--help || test "x$1" =3D x-help; then
    echo "$usage"
    exit 0
  elif test "x$1" =3D x--version || test "x$1" =3D x-version; then
    echo "`basename $0` $version"
    kpsewhich --version
    exit 0
  elif test "x$1" =3D x--verbose || test "x$1" =3D x-verbose; then
    verbose=3Dtrue
  elif test "x$1" =3D x--dry-run || test "x$1" =3D x-n; then
    dry_run=3Dtrue
  elif test "x$1" =3D x--quiet || test "x$1" =3D x--silent \
       || test "x$1" =3D x-quiet || test "x$1" =3D x-silent ; then
    verbose=3Dfalse
  elif test "x$1" =3D x--; then
    :
  elif echo "x$1" | grep '^x-' >/dev/null; then
    echo "$progname: unknown option \`$1', try --help if you need it." >&2
    exit 1
  else
    if test ! -d "$1"; then
      echo "$progname: $1: not a directory, skipping." >&2
      shift     ## ADD THIS, otherwise a loop
      continue
    fi
    # By saving the argument in a file, we can later get it back while
    # supporting spaces in the name.  This still doesn't support
    # newlines in the directory names, but nobody ever complains about
    # that, and it seems much too much trouble to use \0 terminators.
    (umask 077
    if echo "$1" >>"$treefile"; then :; else
      echo "$progname: $treefile: could not append to arg file, goodbye." >=
&2
      exit 1
    fi
    )
  fi
  shift
done


--=20
luigi


More information about the ntg-context mailing list