Searched refs:filename_input (Results 1 – 1 of 1) sorted by relevance
587 filename_input=$filename_src594 filename_input=$filename_dir/$filename_ext601 $textra" "$filename_input" >"$filename_xtr"602 filename_input=$filename_xtr613 encoding=`sed -e "$pgm" "$filename_input"`616 if recode "$encoding"..texinfo <"$filename_input" >"$filename_rcd" \618 filename_input=$filename_rcd695 if $cmd "$filename_input" >&5; then :; else762 $verbose "Running $cmd $filename_input..."763 if $cmd "$filename_input" >&5; then :; else