Searched refs:filename_rcd (Results 1 – 2 of 2) sorted by relevance
410 filename_rcd=$tmpdir_rcd/$filename_noext.$ext616 if recode "$encoding"..texinfo <"$filename_input" >"$filename_rcd" \617 && test -s "$filename_rcd"; then618 filename_input=$filename_rcd
440 (filename_rcd, $tmpdir_rcd): New.