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