[tex-live] Location of {TeX,*}.web in TeX Live 2013 ?

Philip Taylor P.Taylor at Rhul.Ac.Uk
Thu May 15 13:19:50 CEST 2014

Robin Fairbairns wrote:

> i assume you're right in what you say (it seems to me that you are...).
> in which case, i'm faintly surprised that "texdoc tex" seems to give me
> pdf of a woven copy of tex.web

Tut tut.  A derived file in TeX Live with no accompanying source ?
Karl will have it deleted immediately, if not sooner :-)

> fwiw (not much, really), if i had the choice of losing one of tex.web
> and tex.pdf, i would go for the latter.  but then, i've not actually
> compiled a tex since the 80s.

Ah, the innocence of age :-)

** Phil.

More information about the tex-live mailing list