diff options
Diffstat (limited to 'Master/texmf-dist/doc/support/ketcindy/forWindows/setketcindytexlive.bat')
-rwxr-xr-x | Master/texmf-dist/doc/support/ketcindy/forWindows/setketcindytexlive.bat | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/support/ketcindy/forWindows/setketcindytexlive.bat b/Master/texmf-dist/doc/support/ketcindy/forWindows/setketcindytexlive.bat index 9dd1ce8c64c..e872a00b087 100755 --- a/Master/texmf-dist/doc/support/ketcindy/forWindows/setketcindytexlive.bat +++ b/Master/texmf-dist/doc/support/ketcindy/forWindows/setketcindytexlive.bat @@ -1,4 +1,4 @@ -REM 20190616 +REM 20190904 echo off rem Edit the followings if necessary @@ -26,7 +26,7 @@ if %ERRORLEVEL% == 0 ( exit ) -set /P year="Year of TeXLive (YYYY): " +set /P year="Year of TeXLive (ex)2019: " echo Path of TeX ; %pathT%\%year% echo bin : %bin% @@ -68,7 +68,7 @@ if exist "%pathT%\%year%%style%\." ( echo Copying ketcindy styles to "%pathT%\%year%%style%" set stylesrc=style %xcp% /Y /Q /S /E /R "%stylesrc%\*.*" "%pathT%\%year%%style%\" -"%pathT%\%year%%bin%\mktexlsr" +rem "%pathT%\%year%%bin%\mktexlsr" set cindyplug=%prgcin%\Cinderella\Plugins echo Setting of "%cindyplug%\" |