diff options
Diffstat (limited to 'Master/bin/win32')
| -rwxr-xr-x | Master/bin/win32/dviout.bat | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Master/bin/win32/dviout.bat b/Master/bin/win32/dviout.bat index f950efc9677..bd3a74485c2 100755 --- a/Master/bin/win32/dviout.bat +++ b/Master/bin/win32/dviout.bat @@ -35,6 +35,7 @@ set tfmpath=%tfmpath:!!=% set tfmpath=%tfmpath:/=\%
rem Split font path var into arguments and rebuild it with only existing 'fonts' dirs
call :build_tfmpath ";" "%tfmpath:;=" "%"
+if "%tfmpath:~0,1%"==";" set tfmpath=%tfmpath:~1%
rem Use TL gostscript
set GS_LIB=%tlroot%\tlpkg\tlgs\fonts;%tlroot%\tlpkg\tlgs\lib;%tlroot%\tlpkg\tlgs\Resource
@@ -67,11 +68,7 @@ for /f "delims=;" %%I in ("%fontsdir%") do (set fontsdir=%%~sfI) rem Continue if dir does not exist
if not exist "%fontsdir%\" goto :build_tfmpath
rem Add dir to path
-if not defined tfmpath (
- set tfmpath=%fontsdir%
-) else (
- set tfmpath=%tfmpath%;%fontsdir%
-)
+set tfmpath=%tfmpath%;%fontsdir%
goto :build_tfmpath
:no_tl
|