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. Thomas