[tex-live] texmf-dist -> texmf for TL'13

[Ken Brown]

On 1/25/2013 11:19 AM, Markus Kohm wrote:
> Nevertheless, I would prefer …/texlive/<YEAR>/texmf-dist or
> …/texlive/<YEAR>/texmf-main because it's more intuitive, but that's
> subjective.

I agree that it's subjective.  To me it's more intuitive that the main 
texmf tree should have a simple name ("texmf").  So I prefer Karl's 
proposal.

Ken