summaryrefslogtreecommitdiff
path: root/support/texdoc/texdoc.cnf
diff options
context:
space:
mode:
Diffstat (limited to 'support/texdoc/texdoc.cnf')
-rw-r--r--support/texdoc/texdoc.cnf4
1 files changed, 3 insertions, 1 deletions
diff --git a/support/texdoc/texdoc.cnf b/support/texdoc/texdoc.cnf
index d1b228e070..b5ad9ecbdb 100644
--- a/support/texdoc/texdoc.cnf
+++ b/support/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