diff options
Diffstat (limited to 'Master/texmf-dist/texdoc')
-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 |