diff options
Diffstat (limited to 'Master/texmf-dist/scripts/context/lua/mtx-tools.lua')
-rw-r--r-- | Master/texmf-dist/scripts/context/lua/mtx-tools.lua | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Master/texmf-dist/scripts/context/lua/mtx-tools.lua b/Master/texmf-dist/scripts/context/lua/mtx-tools.lua index 146c46f36f4..69064c6405d 100644 --- a/Master/texmf-dist/scripts/context/lua/mtx-tools.lua +++ b/Master/texmf-dist/scripts/context/lua/mtx-tools.lua @@ -103,18 +103,12 @@ function scripts.tools.downcase() local basename = file.basename(name) if lower(basename) ~= basename then n = n + 1 - local low = lower(name) - if n == 1 then - report() - end - report("%a renamed to %a",name,low) if force then - os.rename(name,low) + os.rename(name,lower(name)) end end end) if n > 0 then - report() if force then report("%s files renamed",n) else |