> and what if the user want to name $HOME/texmf differently or place it on a different partition? I sent the explanation how to achieve that several times. Norbert