On Wed, Feb 26, 2003 at 03:12:32AM +0100, Reinhard Kotucha wrote:
Does it mean that the save button will be removed?
Sorry, a misunderstanding. I had written
the saved settings are not (again) stored in $HOME/.texdocrc .
where I wanted to write
the saved settings are now (again) stored in
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
Hi,
if texdoctk is called from the $HOME directory and there exists a file
texdocrc.defaults in this directory, then texdoctk fails with an
error message:
Couldn't open database ./texdoctk.dat.
There are two variables that describe locations of config files,
namely $sysrc and $myrc.
$sysrc is
The path searched by kpsewhich contains . as its first element, so
$sysrc points to a file texdocrc.defaults in the current working
directory instaed of the real system file.
This is not bad in general, but obviously the value of $sysrc is used
to find the database file as well.
