diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-27 19:36:11 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-27 19:36:11 +0000 |
commit | 81d3bf31b8ea3a46c75779abba79692988607eda (patch) | |
tree | fd6c142faf5b5f84467b72f18244a1d76294b221 /Master | |
parent | 0fb93bcc72d89e3e71e2c9f2ff2b73a0c7aa6521 (diff) |
adding !! before TEXMFDOC in TEXDOCS
git-svn-id: svn://tug.org/texlive/trunk@9820 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r-- | Master/texmf/web2c/texmf.cnf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/web2c/texmf.cnf b/Master/texmf/web2c/texmf.cnf index 63098881ee5..6cdd78a4d71 100644 --- a/Master/texmf/web2c/texmf.cnf +++ b/Master/texmf/web2c/texmf.cnf @@ -390,7 +390,7 @@ FC_CACHEDIR=$TEXMFSYSVAR/fonts/cache % Also, find the English documentation first -- better than random, when % there are name collisions. % Also, find things from man pages first, same reason. -TEXMFDOCDIR = $TEXMFDOC/doc{/english,} +TEXMFDOCDIR = !!$TEXMFDOC/doc{/english,} TEXDOCS = .;$TEXMF/doc{/man,}//;$TEXMFDOCDIR// TEXSOURCES = .;$TEXMF/source// |