diff options
author | Karl Berry <karl@freefriends.org> | 2021-05-20 20:18:50 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-05-20 20:18:50 +0000 |
commit | 4f43d9886dd3c8a528bf9c2c36204003407e5c67 (patch) | |
tree | 5c13c87dea561cc2fc3b26d5d8fd304d512b15b4 /Master/texmf-dist/texdoc/texdoc.cnf | |
parent | e5b2b6915c86bd49ca8d4e0c218ff690741707d8 (diff) |
texdoc (20may21)
git-svn-id: svn://tug.org/texlive/trunk@59283 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/texdoc/texdoc.cnf')
-rw-r--r-- | Master/texmf-dist/texdoc/texdoc.cnf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf-dist/texdoc/texdoc.cnf b/Master/texmf-dist/texdoc/texdoc.cnf index d1b228e0701..b5ad9ecbdbc 100644 --- a/Master/texmf-dist/texdoc/texdoc.cnf +++ b/Master/texmf-dist/texdoc/texdoc.cnf @@ -88,7 +88,7 @@ # Built-in defaults (for reference): # -# fuzzy_level = 5 +# fuzzy_level = 3 # Known suffixes for documentation suffix_list = doc, -doc, _doc, .doc, /doc, manual, /manual, -manual, userguide, /user_guide, -guide, -user, -man, notes, -info, ref @@ -452,6 +452,7 @@ alias elsarticle = elsdoc alias(0.1) fontinst = fontinstallationguide alias hyperref-dev = hyperref.pdf alias iso = isoman +alias knuth-pdf = knuth-pdf/index.pdf alias kvoptions-patch = kvoptions # XXX? alias layouts = layman alias lettrine = lettrine # to hide context/third/lettrine-doc.pdf @@ -470,6 +471,7 @@ alias nonumonpart = nonumonpart-en alias nonumonpart-fr = nonumonpart-fr alias pkfix-helper = pkfix-helper.man1.pdf alias plnfss = plnfss.txt # XXX +alias symbols = symbols-a4 alias teubner = teubner-doc alias vntex = vntex # should win over vntex-man in general alias vntex-vi = vntex-man |