[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

0 files changed, 0 insertions, 0 deletions