summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/texmf/scripts/texdoc/config.tlu2
-rw-r--r--Master/texmf/scripts/texdoc/view.tlu2
-rw-r--r--Master/texmf/texdoc/texdoc.cnf10
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