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

Robin Fairbairns Robin.Fairbairns at cl.cam.ac.uk
Thu May 15 13:05:09 CEST 2014


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

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.

robin



More information about the tex-live mailing list