Re: @documentencoding and TeX

[Akim Demaille]

>>> "Stepan" == Stepan Kasal <address@hidden> writes:

 > +    if test -n "$encoding" && findprog recode; then
 > +      $verbose "Recoding from $encoding to Texinfo."
 > +      recode "$encoding"..texinfo <"$filename_input" >"$filename_rcd"
 > +      filename_input=$filename_rcd
 > +    fi

To be on an even safer side, how about

if test -n "$encoding" && findprog recode; then
  $verbose "Recoding from $encoding to Texinfo."
  if recode "$encoding"..texinfo <"$filename_input" >"$filename_rcd"; then
    filename_input=$filename_rcd
  else
    $verbose "Recoding failed, reverting to non recoded file."
  fi
fi