[tex-live] texdoc should always use TEXDOCS
Frank Küster
frank at debian.org
Thu Mar 15 16:40:23 CET 2007
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)
More information about the tex-live
mailing list