>>>>> "Thomas" == Thomas Esser <[EMAIL PROTECTED]> writes:
> texdocrc.defaults is written to $HOME when the options are > saved. This is against Thomas R.'s intention and was introduced > in TeX Live. I have fixed this in beta4 Does it mean that the save button will be removed? > Maybe, an additional fix might be helpful: > - my $database="$datadir/texdoctk.dat"; > + my $database=`kpsewhich --progname=texdoctk --format=${qq}other text files${qq} texdoctk.dat`; > This is to fix the situation where a locally installed older > texdoctk in a local texmf tree had a texdocrc.defaults but no > texdoctk.dat in the local tree (older versions of texdoctk have > used different names for the database files). > Comments on this change? Of course both files can be in different texmf trees and should be looked up independently. Reinhard -- ---------------------------------------------------------------------------- Reinhard Kotucha Phone: +49-511-27060390 Marschnerstr. 25 D-30167 Hannover mailto:[EMAIL PROTECTED] ---------------------------------------------------------------------------- Microsoft isn't the answer. Microsoft is the question, and the answer is NO. ----------------------------------------------------------------------------