diff options
| author | Hans Hagen <pragma@wxs.nl> | 2001-04-09 00:00:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2001-04-09 00:00:00 +0200 |
| commit | 097d775537de422f644e9d13a40a3b18bf7dfe91 (patch) | |
| tree | 24871ebb9648fabc5ac88f4003edfa2005a3b3d3 /context/perltk/texexec.pl | |
| parent | 2a2e86e6c2022e3925e0ee62f5c7b66bbec03338 (diff) | |
| download | context-097d775537de422f644e9d13a40a3b18bf7dfe91.tar.gz | |
stable 2001.04.09
Diffstat (limited to 'context/perltk/texexec.pl')
| -rw-r--r-- | context/perltk/texexec.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/context/perltk/texexec.pl b/context/perltk/texexec.pl index 96675fb6d..c5f11859e 100644 --- a/context/perltk/texexec.pl +++ b/context/perltk/texexec.pl @@ -1090,9 +1090,9 @@ sub PopResult unlink "$Result.tuo" ; rename "$File.tuo", "$Result.tuo" ; unlink "$Result.log" ; rename "$File.log", "$Result.log" ; unlink "$Result.dvi" ; rename "$File.dvi", "$Result.dvi" ; -if (-e "$File.dvi") { CopyFile("$File.dvi", "$Result.dvi") } + if (-e "$File.dvi") { CopyFile("$File.dvi", "$Result.dvi") } unlink "$Result.pdf" ; rename "$File.pdf", "$Result.pdf" ; -if (-e "$File.pdf") { CopyFile("$File.pdf", "$Result.pdf") } + if (-e "$File.pdf") { CopyFile("$File.pdf", "$Result.pdf") } return if ($File ne "texexec") ; rename "texexec.tuo", "$File.tuo" ; rename "texexec.log", "$File.log" ; |