diff options
-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// |