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 $HOME/.texdocrc ."

> Of course both files can be in different texmf trees and should be
> looked up independently.

Ok, sure. E.g. a texdocrc.defaults in a local texmf tree makes sense.
So, I have two independend kpsewhich calls now.


Reply via email to