Searched refs:xref_files (Results 1 – 2 of 2) sorted by relevance
337 xref_files="$xref_files ./$this_file"340 echo "$xref_files"
450 * util/texi2dvi: @ is also ok for the first character of xref_files.