diff options
| -rw-r--r-- | Master/texmf/scripts/ps2eps/ps2eps.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/scripts/ps2eps/ps2eps.pl b/Master/texmf/scripts/ps2eps/ps2eps.pl index fababbe8d22..af12673a2db 100644 --- a/Master/texmf/scripts/ps2eps/ps2eps.pl +++ b/Master/texmf/scripts/ps2eps/ps2eps.pl @@ -48,12 +48,12 @@ $prgname= "ps2eps"; if (! -d "/usr/bin/") { $ghostscriptname = "gswin32c"; - $NULLDEV = "/dev/null"; + $NULLDEV = "nul"; } else { $ghostscriptname = "gs"; - $NULLDEV = "nul"; + $NULLDEV = "/dev/null"; } $bboxver=`bbox >$NULLDEV 2>&1 -V`; |