diff options
author | Karl Berry <karl@freefriends.org> | 2019-09-27 21:24:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-09-27 21:24:30 +0000 |
commit | 7706488325e08b8a6855e0fd9177c94da72acae6 (patch) | |
tree | fdaf77b2a5bd22d2ac09b28cb205eddf1c9f18ba /Master/texmf-dist/doc/support/ketcindy/forWindows/setketcindytexlive.bat | |
parent | 58751f3663f58918a53bfa57291c4032c14b583f (diff) |
ketcindy (27sep19)
git-svn-id: svn://tug.org/texlive/trunk@52190 c570f23f-e606-0410-a88d-b1316a301751
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%\" |