From 8e9eccbfc7c9128d0a654c31fecad3406199ac9b Mon Sep 17 00:00:00 2001 From: Andreas Scherer Date: Sat, 23 May 2020 17:43:55 +0000 Subject: [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 --- Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex | 2 ++ 1 file changed, 2 insertions(+) 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 -- cgit v1.2.3