Lines 1848-1854
Link Here
|
1848 |
|
1848 |
|
1849 |
# If the COMMAND_LINE_FILENAME is not absolute (e.g., --debug.tex), |
1849 |
# If the COMMAND_LINE_FILENAME is not absolute (e.g., --debug.tex), |
1850 |
# prepend `./' in order to avoid that the tools take it as an option. |
1850 |
# prepend `./' in order to avoid that the tools take it as an option. |
1851 |
echo "$command_line_filename" | $EGREP '^(/|[A-z]:/)' >&6 \ |
1851 |
echo "$command_line_filename" | $EGREP '^(/|[A-Za-z]:/)' >&6 \ |
1852 |
|| command_line_filename="./$command_line_filename" |
1852 |
|| command_line_filename="./$command_line_filename" |
1853 |
|
1853 |
|
1854 |
# See if the file exists. If it doesn't we're in trouble since, even |
1854 |
# See if the file exists. If it doesn't we're in trouble since, even |