Siep Kroonenberg siepo at cybercomm.nl
Fri Aug 8 22:15:06 CEST 2008

In the directory edit dialog, HOME/USERPROFILE is now replaced on
the fly with its actual value, e.g. /home/siepo or c:\Documents and
Settings\siepo. For TEXMFHOME, $HOME and %USERPROFILE% are used
literally because of its different semantics.

Siep Kroonenberg

More information about the tex-live mailing list