summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-03-15 17:26:47 +0000
committerKarl Berry <karl@freefriends.org>2007-03-15 17:26:47 +0000
commit6eeeccefa6fa4e6b962e6593a10dd2bb44f3df57 (patch)
tree624788baf75393c8861da1330533a31a27845d5a
parent04794322d8d7a722bab9251bc269caf8f5d86e7a (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-xBuild/source/texk/tetex/texdoc2
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
;;