Searched refs:filename_dir (Results 1 - 2 of 2) sorted by relevance

/netbsd-6-1-5-RELEASE/external/gpl3/gdb/dist/readline/doc/
H A Dtexi2dvi331 filename_dir=`echo $command_line_filename | sed 's!/[^/]*$!!;s!^$!.!'`
332 filename_dir=`cd "$filename_dir" >/dev/null && pwd`
364 common="$orig_pwd$path_sep$filename_dir$path_sep$txincludes"
485 | $makeinfo --footnote-style=end -I "$filename_dir" $miincludes \
495 filename_input=$filename_dir/$filename_ext
/netbsd-6-1-5-RELEASE/gnu/dist/texinfo/util/
H A Dtexi2dvi391 filename_dir=`echo $command_line_filename | sed 's!/[^/]*$!!;s!^$!.!'`
392 filename_dir=`cd "$filename_dir" >/dev/null && pwd`
428 common="$orig_pwd$path_sep$filename_dir$path_sep$txincludes"
586 | $makeinfo --footnote-style=end -I "$filename_dir" $miincludes \
596 filename_input=$filename_dir/$filename_ext

Completed in 195 milliseconds