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

[Philip Taylor]

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.