summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/texdoc/texdoc.cnf
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-05-20 20:18:50 +0000
committerKarl Berry <karl@freefriends.org>2021-05-20 20:18:50 +0000
commit4f43d9886dd3c8a528bf9c2c36204003407e5c67 (patch)
tree5c13c87dea561cc2fc3b26d5d8fd304d512b15b4 /Master/texmf-dist/texdoc/texdoc.cnf
parente5b2b6915c86bd49ca8d4e0c218ff690741707d8 (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.cnf4
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