summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu')
-rwxr-xr-xMaster/texmf-dist/scripts/texdoc/texdoclib-util.tlu4
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu
index d14a212a123..81627c823e6 100755
--- a/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu
+++ b/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu
@@ -12,12 +12,12 @@ local texdoc = {
local M = {}
local C = texdoc.const
--- change '/' to '\' on windows
+-- lowercase and change '/' to '\' on windows for display
-- Note: Internal representation of files always use forward slashes.
-- This function should be called only before displaying a path.
if os.type == 'windows' then
function M.w32_path(path)
- return (string.gsub(path, '/', '\\'))
+ return (string.gsub(string.lower(path), '/', '\\'))
end
else
function M.w32_path(path)