diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2022-03-02 12:21:24 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2022-03-02 12:21:24 +0000 |
commit | 7dadfea71b290543fa374fbd1f5e83ec7101f4d8 (patch) | |
tree | 45f91b6e17ef2707e721df15fec8a09c164e1cfa /Build/source/doc/tlbuild.texi | |
parent | bc2dcf1986356357fc6ea795ee5b7147b1286c2d (diff) |
[WEB] Optional output file name.
The original WEB programs had fixed arguments on the commandline, i.e.,
you had to invoke TANGLE with four file name arguments and WEAVE with
three (where '/dev/null' was permitted as an empty file).
This change makes the WEB programs a little bit like the CWEB programs
by allowing an optional third file name argument for the main output
file (the name of the .pool file still is created from the .web file).
And '-' is interpreted as an empty change file.
git-svn-id: svn://tug.org/texlive/trunk@62337 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc/tlbuild.texi')
0 files changed, 0 insertions, 0 deletions