summaryrefslogtreecommitdiff
path: root/Master/texmf/scripts/texdoc
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2011-04-03 22:06:51 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2011-04-03 22:06:51 +0000
commit62f377fd2099d37902013b2073c563aaf40631e3 (patch)
treee38944173e1993025c75f235ed49447a31035706 /Master/texmf/scripts/texdoc
parent2e34b7dca934a0b8f1186b8bf82674aec9ffd14f (diff)
texdoc: minor update
git-svn-id: svn://tug.org/texlive/trunk@21936 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/scripts/texdoc')
-rw-r--r--Master/texmf/scripts/texdoc/config.tlu2
-rw-r--r--Master/texmf/scripts/texdoc/view.tlu2
2 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texdoc/config.tlu b/Master/texmf/scripts/texdoc/config.tlu
index 9f264223547..a83b7855308 100644
--- a/Master/texmf/scripts/texdoc/config.tlu
+++ b/Master/texmf/scripts/texdoc/config.tlu
@@ -515,7 +515,7 @@ function setup_config_from_defaults()
mode = 'view',
interact_switch = 'true',
machine_switch = 'false',
- ext_list = 'pdf, html, txt, ps, dvi, ',
+ ext_list = 'pdf, htm, html, txt, ps, dvi, ',
basename_list = 'readme',
badext_list = 'txt, ',
badbasename_list = 'readme',
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.")