texdoc should always use TEXDOCS
Hi,
a Debian user has noticed that, although texdoc uses 'kpsewhich
--format="TeX system documentation"' and thus the $TEXDOCS variable for
its main work, the search mode accesses $TEXMF/doc directly and ignores
changes/additions in TEXDOC.
The following patch would make it more consistent:
--- src/Upstream-source/TeXLive/Build/source/texk/tetex/texdoc.orig 2007-03-15 16:36:30.000000000 +0100
+++ src/Upstream-source/TeXLive/Build/source/texk/tetex/texdoc 2007-03-15 16:37:20.000000000 +0100
@@ -140,7 +140,7 @@
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
;;
(too simple to be copyrightable, of course).
Regards, Frank
--
Dr. Frank Küster
Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich
Debian Developer (teTeX/TeXLive)
Reply to: