texlive[55246]

[commits+ascherer at tug.org]

Revision: 55246
          http://tug.org/svn/texlive?view=revision&revision=55246
Author:   ascherer
Date:     2020-05-23 19:43:55 +0200 (Sat, 23 May 2020)
Log Message:
-----------
[CWEB] Avoid conflicts in batch runs.

Standard WEB uses generic 'CONTENTS.tex' as filename for the
table-of-contents information (and 'webman.tex' explicitly describes
this in an advanced example).  Running multiple WEB codes in a batch run
in the same directory -- like with the 'makeall' script -- leads to
conflicts, because the _first_ run of the $n+1$st WEB code picks up the
toc file from the _second_ run of the $n$th WEB code, and in most cases
there are irresolvable references.  To avoid these collisions, we use
the naming scheme from CWEB.

Modified Paths:
--------------
    trunk/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex

Modified: trunk/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex
===================================================================
--- trunk/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex	2020-05-23 16:12:10 UTC (rev 55245)
+++ trunk/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex	2020-05-23 17:43:55 UTC (rev 55246)
@@ -11,6 +11,8 @@
 % for Pascal/WEB programs or 'cwebmac.tex' for C/CWEB programs.
 %
 \ifx\detokenize\undefined\endinput\fi
+\def\contentsfile{\jobname.toc} % file that gets table of contents info
+\def\readcontents{\input \contentsfile}
 \newread\testread
 \openin\testread=\contentsfile\relax
 \ifeof\testread % First run