[tex-live] Location of {TeX,*}.web in TeX Live 2013 ?
Joseph Wright
joseph.wright at morningstar2.co.uk
Thu May 15 11:10:19 CEST 2014
On 15/05/2014 09:35, Philip Taylor wrote:
> Seeking to offer a rebuttal to an argument adduced today that stated
> "It is somewhat close to impossible to have truly bug free code in any
> project over a few thousand lines.", I tried "Tangle TeX.web" from the
> TeX Live 2013 command prompt. Tangle reported :
>
>> tangle.exe: fatal: web file `tex.web' not found.
>
> I then tried a search for "filename:tex.web" on the whole of my
> TeX Live 2013 installation, and was told "file not found".
>
> I finally tried a search for "filename:*.web" on the whole of my
> TeX Live 2013 installation, and Search found only "glue.web", at
>
>> D:\TeX\Live\2013\texmf-dist\source\generic\knuth\tex
>
> This directory is otherwise empty. Is my installation defective,
> and if not, where /are/ the master sources in TeX Live 2013 ?
>
> Philip Taylor
http://tug.org/svn/texlive/trunk/Build/source/texk/web2c/tex.web
--
Joseph Wright
More information about the tex-live
mailing list