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

/netbsd-6-1-5-RELEASE/external/gpl3/gdb/dist/readline/doc/
H A Dtexi2dvi513 orig_xref_files=`$get_xref_files "$filename_noext"`
516 if test -n "$orig_xref_files"; then
517 $verbose "Backing up xref files: `echo $orig_xref_files | sed 's|\./||g'`"
518 cp $orig_xref_files $tmpdir_bak
557 # Otherwise, if orig_xref_files contains something like
560 index_files=`echo "$orig_xref_files" \
606 $verbose "Original xref files = `echo $orig_xref_files | sed 's|\./||g'`"
611 test "x$orig_xref_files" != "x$new_xref_files" && finished=
/netbsd-6-1-5-RELEASE/gnu/dist/texinfo/util/
H A Dtexi2dvi634 orig_xref_files=`get_xref_files "$filename_noext"`
637 if test -n "$orig_xref_files"; then
638 $verbose "Backing up xref files: `echo $orig_xref_files | sed 's|\./||g'`"
639 cp $orig_xref_files $tmpdir_bak
676 # Otherwise, if orig_xref_files contains something like
679 index_files=`echo "$orig_xref_files" \
725 $verbose "Original xref files = `echo $orig_xref_files | sed 's|\./||g'`"
730 test "x$orig_xref_files" != "x$new_xref_files" && finished=

Completed in 135 milliseconds