diff options
author | Norbert Preining <norbert@preining.info> | 2020-09-17 03:03:01 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-09-17 03:03:01 +0000 |
commit | c3b4471e847c09c37a8d2587bdd0e88aaee1b124 (patch) | |
tree | b232de3ca9f38fee58adb87bd32dbd183a8fadce /support/texdoc/script/texdoclib-util.tlu | |
parent | a9e7a34498af9c67afbb969e60619a1bdf6bd96f (diff) |
CTAN sync 202009170303
Diffstat (limited to 'support/texdoc/script/texdoclib-util.tlu')
-rw-r--r-- | support/texdoc/script/texdoclib-util.tlu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/texdoc/script/texdoclib-util.tlu b/support/texdoc/script/texdoclib-util.tlu index d14a212a12..81627c823e 100644 --- a/support/texdoc/script/texdoclib-util.tlu +++ b/support/texdoc/script/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) |