diff options
| author | Karl Berry <karl@freefriends.org> | 2018-06-06 22:25:01 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-06-06 22:25:01 +0000 |
| commit | 67a3b03c3f11c14b811b04447baf2b464e157e98 (patch) | |
| tree | f5f8050ce90286fcd75ee2161c1dad78116bf50d /Master/texmf-dist/texdoc | |
| parent | 0654b7aef1ec8948c0a7cc81fbaf9fc707782d44 (diff) | |
texdoc 3.0 from CTAN
git-svn-id: svn://tug.org/texlive/trunk@47946 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/texdoc')
| -rw-r--r-- | Master/texmf-dist/texdoc/texdoc.cnf | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/Master/texmf-dist/texdoc/texdoc.cnf b/Master/texmf-dist/texdoc/texdoc.cnf index 1a53fefc78a..bdf2ad1394d 100644 --- a/Master/texmf-dist/texdoc/texdoc.cnf +++ b/Master/texmf-dist/texdoc/texdoc.cnf @@ -85,6 +85,12 @@ # basename_list = readme, 00readme # badbasename_list = readme, 00readme +## Fuzzy search + +# Built-in defaults (for reference): +# +# fuzzy_level = 5 + # Known suffixes for documentation suffix_list = doc, -doc, _doc, .doc, /doc, manual, /manual, -manual, userguide, /user_guide, -guide, -user, -man, notes, -info, ref @@ -126,14 +132,14 @@ adjscore gpl = -10 adjscore /tex-virtual-academy-pl/ = -50 # test and example files are not likely the best documentation -adjscore example = -3 -adjscore examples = -3 -adjscore sample = -3 -adjscore samples = -3 +adjscore example = -1 +adjscore examples = -1 +adjscore sample = -1 +adjscore samples = -1 adjscore test = -3 adjscore tests = -3 -adjscore /demo/ = -3 -adjscore /demos/ = -3 +adjscore /demo/ = -1 +adjscore /demos/ = -1 adjscore /figures/ = -3 adjscore /images/ = -3 |