diff options
Diffstat (limited to 'Master/texmf/scripts/texdoc/view.tlu')
-rw-r--r-- | Master/texmf/scripts/texdoc/view.tlu | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texdoc/view.tlu b/Master/texmf/scripts/texdoc/view.tlu index e2676ba367b..218cbfff6bf 100644 --- a/Master/texmf/scripts/texdoc/view.tlu +++ b/Master/texmf/scripts/texdoc/view.tlu @@ -62,10 +62,11 @@ function view_file (filename) viewer_replacement = '"'..w32_path(filename)..'"' end -- files without extension are assumed to be text - local viewext = string.match(filename,'.*%.([^/]*)$') or 'txt' + local viewext = filename:match('.*%.([^/]*)$'):lower() or 'txt' -- special case : sty files use txt viewer if viewext == 'sty' then viewext = 'txt' end -- FIXME: hardcoding such cases this way is not very clean + if viewext == 'texlive' then viewext = 'txt' end if viewext == 'htm' then viewext = 'html' end if not config['viewer_'..viewext] then err_print('warning', |