[tex-live] texmf-dist -> texmf for TL'13
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