summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java')
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java5
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java
index 16fe6ae454a..ce158837837 100644
--- a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java
@@ -13,7 +13,7 @@ public class KetCindyPlugin extends CindyScriptPlugin {
@CindyScript("ketjavaversion")
public String ketjavaversion() {
- return "Ketjava 20180408";
+ return "Ketjava 20180727";
}
public String getName() {
@@ -143,7 +143,8 @@ public class KetCindyPlugin extends CindyScriptPlugin {
}
// 16.07.21upto
}
- if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+// if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ if(str.indexOf("MV ")>-1){ /*180727*/
flg=3;
}
if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){