diff options
Diffstat (limited to 'Master/texmf/scripts/texdoc/view.tlu')
-rw-r--r-- | Master/texmf/scripts/texdoc/view.tlu | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texdoc/view.tlu b/Master/texmf/scripts/texdoc/view.tlu index 913cc4e6a62..e2676ba367b 100644 --- a/Master/texmf/scripts/texdoc/view.tlu +++ b/Master/texmf/scripts/texdoc/view.tlu @@ -65,6 +65,8 @@ function view_file (filename) local viewext = string.match(filename,'.*%.([^/]*)$') 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 == 'htm' then viewext = 'html' end if not config['viewer_'..viewext] then err_print('warning', "No viewer_"..viewext.." defined, using viewer_txt.") |