diff options
| author | Karl Berry <karl@freefriends.org> | 2008-06-04 19:02:46 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2008-06-04 19:02:46 +0000 |
| commit | e848ac67561910bd4b230fb81cee46962427eeca (patch) | |
| tree | a27863283b8abef7254c70d9936baba760d6275d /Master/texmf | |
| parent | a580357b5787d3713ee9e1917b2931f2ec7f5a0e (diff) | |
(TEXMFDOCDIR): find English documentation first,
to avoid random choice (from Manuel).
git-svn-id: svn://tug.org/texlive/trunk@8567 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
| -rw-r--r-- | Master/texmf/web2c/texmf.cnf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf/web2c/texmf.cnf b/Master/texmf/web2c/texmf.cnf index 15134d0293d..0c0c49efee7 100644 --- a/Master/texmf/web2c/texmf.cnf +++ b/Master/texmf/web2c/texmf.cnf @@ -376,7 +376,9 @@ FC_CACHEDIR=$TEXMFSYSVAR/fonts/cache % TeX documentation and source files, for use with kpsewhich. % TeX Live has a separate hierarchy with just documentation, texmf-doc, % in addition to the doc files in the other hierarchies. -TEXMFDOCDIR = $SELFAUTOPARENT/texmf-doc/doc +% Also, find the English documentation first -- better than random, when +% there are name collisions. +TEXMFDOCDIR = $SELFAUTOPARENT/texmf-doc/doc{/english,} TEXDOCS = .;$TEXMF/doc//;$TEXMFDOCDIR// TEXSOURCES = .;$TEXMF/source// |