diff options
Diffstat (limited to 'Master/texmf/scripts/texdoc/functions.tlu')
-rw-r--r-- | Master/texmf/scripts/texdoc/functions.tlu | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Master/texmf/scripts/texdoc/functions.tlu b/Master/texmf/scripts/texdoc/functions.tlu index 26b8d2d4d0a..4167b4563a9 100644 --- a/Master/texmf/scripts/texdoc/functions.tlu +++ b/Master/texmf/scripts/texdoc/functions.tlu @@ -13,13 +13,14 @@ load_env(L, { }) -- change '/' to '\' on windows +-- Use: internal representation of files always use forward slashes. +-- This function should be called only before displaying a file name. if os.type == "windows" then - function win32_hook (path) - local res = string.gsub (path, '/', '\\') - return res -- get rid of gsub's 2nd return value + function w32_path (path) + return (string.gsub (path, '/', '\\')) end else - function win32_hook (path) + function w32_path (path) return path end end @@ -125,7 +126,7 @@ end export_symbols(L, { 'err_print', 'deb_print', - 'win32_hook', + 'w32_path', 'parse_zip', 'print_usage', 'path_parent', |