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

Werner LEMBERG wl at gnu.org
Sat Feb 9 07:31:36 CET 2013

> My preference is "texmf-dist":
> * It is already in use for the main distribution stuff for
>   many, many years (decades).
> * The HOMETEXMF is already named "texmf". With different names
>   the trees can easier distinguished:
>     texmf-dist, texmf-local, texmf (home)
> * For documentation writers and readers it should be easier to write
>   and understand, if the different trees have different names.



More information about the tex-live mailing list