diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2009-10-15 13:36:23 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2009-10-15 13:36:23 +0000 |
commit | fde252951da382c01eb79e7f9133c24818bfa7d5 (patch) | |
tree | 792c659bd47d0a7424559bed4414bc22de4c12f8 /Master | |
parent | 85438ef6634e32bf6503ac6ea92bf814eb975c9b (diff) |
Adapt texdoc for the *.1.pdf *.man1.pdf rename.
git-svn-id: svn://tug.org/texlive/trunk@15810 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texdoc/texdoc.tlu | 4 | ||||
-rw-r--r-- | Master/texmf/texdoc/texdoc.cnf | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf/scripts/texdoc/texdoc.tlu b/Master/texmf/scripts/texdoc/texdoc.tlu index d5549ee69d8..6613270c034 100755 --- a/Master/texmf/scripts/texdoc/texdoc.tlu +++ b/Master/texmf/scripts/texdoc/texdoc.tlu @@ -788,7 +788,7 @@ function setup_config_from_defaults() if support_zipped then set_config_elt('ext_list', 'pdf,pdf.gz,pdf.bz2, html,html.gz,html.bz2, txt,txt.gz,txt.bz2,'.. - '1.pdf, 5.pdf'.. + 'man1.pdf, man5.pdf'.. 'ps,ps.gz,ps.bz2, dvi,dvi.gz,dvi.bz2, ,gz,bz2') set_config_ls { unzip_gz = 'gzip -d -c ', @@ -797,7 +797,7 @@ function setup_config_from_defaults() rm_dir = 'rmdir' } else - set_config_elt('ext_list', 'pdf, html, txt, 1.pdf, 5.pdf, ps, dvi, ') + set_config_elt('ext_list', 'pdf, html, txt, man1.pdf, man5.pdf, ps, dvi, ') end end diff --git a/Master/texmf/texdoc/texdoc.cnf b/Master/texmf/texdoc/texdoc.cnf index 5b11cccc6c0..f5f27168feb 100644 --- a/Master/texmf/texdoc/texdoc.cnf +++ b/Master/texmf/texdoc/texdoc.cnf @@ -48,7 +48,7 @@ # mode = view # interact_switch = true # alias_switch = true # but false if mode is 'regex' -# ext_list = pdf, html, txt, 1.pdf, 5.pdf, ps, dvi, # empty string at end +# ext_list = pdf, html, txt, man1.pdf, man5.pdf, ps, dvi, # empty string at end # verbosity_level = 3 ### Aliases ### |