summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Scherer <andreas_tex@freenet.de>2020-05-23 17:43:55 +0000
committerAndreas Scherer <andreas_tex@freenet.de>2020-05-23 17:43:55 +0000
commit8e9eccbfc7c9128d0a654c31fecad3406199ac9b (patch)
tree029b58ef6f4c85e126d0042340ef11c75fba4002
parent5d359d8bdbe0620ddef153c3795be83d830d8493 (diff)
[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. git-svn-id: svn://tug.org/texlive/trunk@55246 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex b/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex
index e7a787acc38..935e1050b4a 100644
--- a/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex
+++ b/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex
@@ -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