On Mon, 17 Sep 2007 15:48:47 +0200, martin f krafft wrote: > > My impression after the tests is that "/" is used if the "File > > directory" in the preferences is empty. > Yes, this does indeed seem to be the case. My fault for not spotting > the new setting.
No problem. > > If this is correct: What do you think about taking $HOME as a defaut > > value if this option is not set? > Or initialise it to the value of the PDF directory, if PDF and PS > directories are equal? Sounds like a good idea, too. Cheers, gregor -- .''`. http://info.comodo.priv.at/ | gpg key ID: 0x00F3CFE4 : :' : debian: the universal operating system - http://www.debian.org/ `. `' member of https://www.vibe.at/ | how to reply: http://got.to/quote/ `- NP: Rod Stewart
signature.asc
Description: Digital signature
