summaryrefslogtreecommitdiff
path: root/Master
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
parent2e34b7dca934a0b8f1186b8bf82674aec9ffd14f (diff)
texdoc: minor update
git-svn-id: svn://tug.org/texlive/trunk@21936 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-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