[tex-live] HOME/USERPROFILE

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