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 /Master/texmf-dist/doc/latex/imakeidx | |
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
Diffstat (limited to 'Master/texmf-dist/doc/latex/imakeidx')
0 files changed, 0 insertions, 0 deletions