Searched refs:command_line_filename (Results 1 – 1 of 1) sorted by relevance
305 for command_line_filename in ${1+"$@"}; do306 $verbose "Processing $command_line_filename ..."310 echo "$command_line_filename" | $EGREP '^(/|[A-z]:/)' >/dev/null \311 || command_line_filename="./$command_line_filename"317 if test ! -r "$command_line_filename"; then318 echo "$0: Could not read $command_line_filename, skipping." >&2325 filename_dir=`echo $command_line_filename | sed 's!/[^/]*$!!;s!^$!.!'`329 filename_ext=`basename "$command_line_filename"`411 elif sed 1q "$command_line_filename" | grep 'input texinfo' >/dev/null; then477 $verbose "Macro-expanding $command_line_filename to $filename_src ..."[all …]