summaryrefslogtreecommitdiff
path: root/graphics/ketcindy/forWindows/setketcindytexlive.bat
diff options
context:
space:
mode:
Diffstat (limited to 'graphics/ketcindy/forWindows/setketcindytexlive.bat')
-rw-r--r--graphics/ketcindy/forWindows/setketcindytexlive.bat6
1 files changed, 3 insertions, 3 deletions
diff --git a/graphics/ketcindy/forWindows/setketcindytexlive.bat b/graphics/ketcindy/forWindows/setketcindytexlive.bat
index 9dd1ce8c64..e872a00b08 100644
--- a/graphics/ketcindy/forWindows/setketcindytexlive.bat
+++ b/graphics/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%\"