diff options
-rw-r--r-- | Master/texmf/scripts/texdoc/config.tlu | 2 | ||||
-rw-r--r-- | Master/texmf/scripts/texdoc/view.tlu | 2 | ||||
-rw-r--r-- | Master/texmf/texdoc/texdoc.cnf | 10 |
3 files changed, 11 insertions, 3 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.") diff --git a/Master/texmf/texdoc/texdoc.cnf b/Master/texmf/texdoc/texdoc.cnf index 5558d981b0d..146569192e1 100644 --- a/Master/texmf/texdoc/texdoc.cnf +++ b/Master/texmf/texdoc/texdoc.cnf @@ -80,8 +80,8 @@ # Built-in defaults (for reference): # -# ext_list = pdf, html, txt, ps, dvi, # Note: empty string at end -# badext_list = txt, # Note: empty string at end +# ext_list = pdf, htm, html, txt, ps, dvi, # Note: empty string at end +# badext_list = txt, # Note: empty string at end # basename_list = readme # badbasename_list = readme @@ -332,6 +332,12 @@ alias nonfloat = nonfloat-en alias pstricks = pstricks-doc alias xstring-fr = xstring_doc_fr alias arabic = arabi/user_guide +alias 3parttable = threeparttable +alias croatian = babel +alias letterspace = microtype +alias mls = montex +alias vrbexin = verbasef + ## a few easy patterns |