diff options
author | Karl Berry <karl@freefriends.org> | 2007-03-15 17:26:47 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-03-15 17:26:47 +0000 |
commit | 6eeeccefa6fa4e6b962e6593a10dd2bb44f3df57 (patch) | |
tree | 624788baf75393c8861da1330533a31a27845d5a | |
parent | 04794322d8d7a722bab9251bc269caf8f5d86e7a (diff) |
use TEXDOCS, from Frank, 15 Mar 2007 16:40:23 +0100
git-svn-id: svn://tug.org/texlive/trunk@4035 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Build/source/texk/tetex/texdoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/tetex/texdoc b/Build/source/texk/tetex/texdoc index f66b3c855de..e654dbcd538 100755 --- a/Build/source/texk/tetex/texdoc +++ b/Build/source/texk/tetex/texdoc @@ -140,7 +140,7 @@ for name do case $mode in search) - find `kpsewhich --expand-path='$TEXMF/doc' | tr : ' '` -type f -print | + find `kpsewhich --expand-path='$TEXDOCS' | tr : ' '` -type f -print | egrep $name continue ;; |