diff options
| author | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-23 17:43:55 +0000 |
|---|---|---|
| committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-23 17:43:55 +0000 |
| commit | 8e9eccbfc7c9128d0a654c31fecad3406199ac9b (patch) | |
| tree | 029b58ef6f4c85e126d0042340ef11c75fba4002 | |
| parent | 5d359d8bdbe0620ddef153c3795be83d830d8493 (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.tex | 2 |
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 |