summaryrefslogtreecommitdiff
path: root/Build/source/texk
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-11-05 18:05:23 +0000
committerKarl Berry <karl@freefriends.org>2020-11-05 18:05:23 +0000
commita9774df37b7531f847a3060ddc767e5c12a251e3 (patch)
tree7eaecc02cfdc58d413451cbbdddde3891ab5b9a3 /Build/source/texk
parent685e9678f8da75cfec1715a7181e2d17ac90c97f (diff)
doc tweaks
git-svn-id: svn://tug.org/texlive/trunk@56859 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
-rw-r--r--Build/source/texk/web2c/doc/web2c.info262
-rw-r--r--Build/source/texk/web2c/doc/web2c.texi6
2 files changed, 132 insertions, 136 deletions
diff --git a/Build/source/texk/web2c/doc/web2c.info b/Build/source/texk/web2c/doc/web2c.info
index 601087e854f..4c5ec833e10 100644
--- a/Build/source/texk/web2c/doc/web2c.info
+++ b/Build/source/texk/web2c/doc/web2c.info
@@ -1,4 +1,4 @@
-This is web2c.info, produced by makeinfo version 6.7 from web2c.texi.
+This is web2c.info, produced by makeinfo version 5.1 from web2c.texi.
This file documents the installation and use of the programs in Web2c,
an implementation of Donald Knuth's TeX system.
@@ -111,12 +111,13 @@ creation; consult each source file for exact details. The main
practical implication for redistributors of Web2c is that most of the
executables are covered by the GNU General Public License or GNU Lesser
General Public License, and therefore anyone who gets a binary
-distribution must also get the sources, as explained by the terms of the
-GPL (<https://gnu.org/licenses/>. The GPL covers the Web2c executables,
-including 'tex', because the Free Software Foundation sponsored the
-initial development of the Kpathsea library that Web2c uses. The basic
-source files from Stanford, however, have their own copyright terms or
-are in the public domain, and are not covered by the GPL.
+distribution must also be able to get the sources, as explained by the
+terms of the GPL (<https://gnu.org/licenses/>. The GPL covers the Web2c
+executables, including 'tex', because the Free Software Foundation
+sponsored the initial development of the Kpathsea library that Web2c
+uses. The basic source files from Stanford, however, have their own
+copyright terms or are in the public domain, and are not covered by the
+GPL.
History: Tomas Rokicki originated the TeX-to-C system in 1987,
working from the first change files for TeX under Unix, which were done
@@ -2417,9 +2418,9 @@ available in many other places, of course).
* Menu:
-* tangle invocation::
-* weave invocation::
-* pooltype invocation::
+* tangle invocation::
+* weave invocation::
+* pooltype invocation::

File: web2c.info, Node: tangle invocation, Next: weave invocation, Up: WEB
@@ -2658,7 +2659,7 @@ program.
* Menu:
-* dvitype output example::
+* dvitype output example::

File: web2c.info, Node: dvitype output example, Up: dvitype invocation
@@ -3493,8 +3494,8 @@ Index
* Menu:
-* " character, ignored in filenames: \input filenames. (line 22)
-* #define options: Compile-time options.
+* '"' character, ignored in filenames: \input filenames. (line 22)
+* '#define' options: Compile-time options.
(line 6)
* $ expansion in filenames: \input filename caveats.
(line 17)
@@ -3536,7 +3537,7 @@ Index
* -base=BASE: Determining the memory dump to use.
(line 15)
* -base=DUMPNAME: Common options. (line 34)
-* -change=CHFILE: mft invocation. (line 63)
+* -change=CHFILE: mft invocation. (line 62)
* -charcode-format=TYPE: tftopl invocation. (line 27)
* -charcode-format=TYPE <1>: vftovp invocation. (line 30)
* -D compiler options: Compile-time options.
@@ -3597,7 +3598,7 @@ Index
* -shell-restricted: tex invocation. (line 121)
* -show-opcodes: dvitype invocation. (line 52)
* -strict: tangle invocation. (line 46)
-* -style=MFTFILE: mft invocation. (line 67)
+* -style=MFTFILE: mft invocation. (line 66)
* -T: mpost invocation. (line 115)
* -terse: bibtex invocation. (line 28)
* -tex=TEXPROGRAM: mpost invocation. (line 118)
@@ -3617,7 +3618,7 @@ Index
* .fmt: Initial TeX. (line 6)
* .mf: mf invocation. (line 24)
* .mp: mpost invocation. (line 30)
-* .mps files and PDF: mpost invocation. (line 86)
+* '.mps' files and PDF: mpost invocation. (line 86)
* .NNN PostScript figures: mpost invocation. (line 35)
* .NNNgf generic fonts: mf invocation. (line 34)
* .tcx character translation files: Common options. (line 98)
@@ -3641,12 +3642,12 @@ Index
* \font and dynamic generation: tex invocation. (line 41)
* \fontdimen: tftopl invocation. (line 99)
* \immediate\write18: Shell escapes. (line 6)
-* \input braced (grouped) filename: \input braced filename.
+* '\input' braced (grouped) filename: \input braced filename.
(line 6)
-* \input filename caveats: \input filename caveats.
+* '\input' filename caveats: \input filename caveats.
(line 6)
* \input filenames: \input filenames. (line 6)
-* \input quoted filename: \input quoted filename.
+* '\input' quoted filename: \input quoted filename.
(line 6)
* \input, and pipes: Shell escapes. (line 64)
* \mag: dvicopy invocation. (line 20)
@@ -3654,9 +3655,9 @@ Index
* \openin, and pipes: Shell escapes. (line 64)
* \openout and security: tex invocation. (line 48)
* \openout, and pipes: Shell escapes. (line 64)
-* \output routine, and \write: Shell escapes. (line 28)
+* \output routine, and '\write': Shell escapes. (line 28)
* \pdfshellescape: Shell escapes. (line 64)
-* \string, and \input filenames: \input filename caveats.
+* \string, and '\input filenames': \input filename caveats.
(line 29)
* \tracingcharsubdef and MLTeX: \tracingcharsubdef. (line 6)
* \tracinglostchars and MLTeX: \tracingcharsubdef. (line 11)
@@ -3668,7 +3669,7 @@ Index
(line 16)
* accented character: TCX files. (line 6)
* accents, hyphenating words with: MLTeX. (line 6)
-* acknowledgements: Introduction. (line 52)
+* acknowledgements: Introduction. (line 53)
* acm.bst: Basic BibTeX style files.
(line 19)
* Ada, WEB for: WEB. (line 12)
@@ -3711,7 +3712,7 @@ Index
* BDF and GF conversion: Font utilities available elsewhere.
(line 15)
* beginfig: mpost invocation. (line 35)
-* Berry, Karl: Introduction. (line 41)
+* Berry, Karl: Introduction. (line 42)
* BIBINPUTS, search path for bib files: bibtex invocation. (line 18)
* bibliographies, creating: BibTeX. (line 6)
* bibliography: References. (line 6)
@@ -3726,7 +3727,7 @@ Index
* binaries, linking: Common options. (line 77)
* blank lines, in TCX files: TCX files. (line 66)
* boxes, memory for: Runtime options. (line 20)
-* braced filename for \input: \input braced filename.
+* braced filename for '\input': \input braced filename.
(line 6)
* breakpoints, memory for: Runtime options. (line 20)
* Breitenlohner, Peter: Introduction. (line 8)
@@ -3740,9 +3741,9 @@ Index
* byte swapping: Hardware and memory dumps.
(line 13)
* c-sources Makefile target: Additional targets. (line 12)
-* caveats for \input filenames: \input filename caveats.
+* caveats for '\input' filenames: \input filename caveats.
(line 6)
-* change files, and MFT: mft invocation. (line 63)
+* change files, and MFT: mft invocation. (line 62)
* change files, and Tangle: tangle invocation. (line 11)
* change files, and Weave: weave invocation. (line 14)
* changing error messages style: Common options. (line 26)
@@ -3762,7 +3763,7 @@ Index
(line 69)
* cm.base: Initial Metafont. (line 26)
* cmbase.mf: Initial Metafont. (line 26)
-* cmbase.mft: mft invocation. (line 73)
+* cmbase.mft: mft invocation. (line 72)
* cmmf.base not recommended: Initial Metafont. (line 26)
* color, in DVItoMP: dvitomp invocation. (line 15)
* comments, in TCX files: TCX files. (line 70)
@@ -3775,7 +3776,7 @@ Index
(line 6)
* Computer Modern fonts, and Troff: mpost invocation. (line 65)
* Computer Modern macros: Initial Metafont. (line 26)
-* Computer Modern Typefaces, production of: mft invocation. (line 73)
+* 'Computer Modern Typefaces', production of: mft invocation. (line 72)
* configuration: Installation. (line 6)
* configuration file reading: Path searching. (line 6)
* configuration file values: Runtime options. (line 6)
@@ -3800,7 +3801,7 @@ Index
* cross-references, omitting: weave invocation. (line 22)
* current directory, used for output: Output file location.
(line 6)
-* Curtis, Pavel: Introduction. (line 41)
+* Curtis, Pavel: Introduction. (line 42)
* Cweb: WEB. (line 12)
* CWEB: WEB. (line 12)
* date and time, in memory dumps: Hardware and memory dumps.
@@ -3841,12 +3842,12 @@ Index
* dx horizontal escapement <1>: gftype invocation. (line 106)
* dy vertical escapement: gftype invocation. (line 106)
* dynamic array allocation: Runtime options. (line 45)
-* dynamic Metafont mode definitions with smode: Modes. (line 28)
+* dynamic Metafont mode definitions with 'smode': Modes. (line 28)
* dynamic packing variable: pktype invocation. (line 44)
* e response at error prompt: Editor invocation. (line 6)
* e-circumflex: \charsubdef. (line 20)
* e-TeX: TeX extensions. (line 10)
-* e.mft: mft invocation. (line 73)
+* e.mft: mft invocation. (line 72)
* EC fonts: tex invocation. (line 41)
* EC fonts <1>: mf invocation. (line 24)
* editing of bitmap fonts: Font utilities available elsewhere.
@@ -3874,7 +3875,7 @@ Index
* expanded plain format: Formats. (line 54)
* expand_depth: Runtime options. (line 24)
* expansion limit, recursive: Runtime options. (line 25)
-* expansion, and \input filenames: \input filename caveats.
+* expansion, and '\input' filenames: \input filename caveats.
(line 6)
* extensions to TeX: TeX extensions. (line 6)
* extra_mem_bot: Runtime options. (line 19)
@@ -3885,7 +3886,7 @@ Index
* file formats for fonts: Font file formats. (line 6)
* file recorder: Common options. (line 84)
* filename conventions, in input files: \input filenames. (line 6)
-* filenames starting with -: Option conventions. (line 19)
+* filenames starting with '-': Option conventions. (line 19)
* first line of the main input file: Common options. (line 98)
* fixed-point arithmetic: Compile-time options.
(line 21)
@@ -3949,7 +3950,7 @@ Index
* glue, memory for: Runtime options. (line 20)
* glyph substitutions: MLTeX. (line 6)
* gray font: gftodvi invocation. (line 29)
-* group-delimited filename for \input: \input braced filename.
+* group-delimited filename for '\input': \input braced filename.
(line 6)
* Gruff, Billy Goat: Triptrap. (line 6)
* gsftopk: Font utilities available elsewhere.
@@ -3965,7 +3966,7 @@ Index
* Herberts, Mathias: Online Metafont graphics.
(line 20)
* hex character codes, in TCX files: TCX files. (line 77)
-* history: Introduction. (line 41)
+* history: Introduction. (line 42)
* Hobby, John: Introduction. (line 8)
* horizontal escapement: pktype invocation. (line 57)
* horizontal escapement <1>: gftype invocation. (line 106)
@@ -4004,7 +4005,7 @@ Index
* install-formats Make target: Additional targets. (line 17)
* install-mems Make target: Additional targets. (line 34)
* installation: Installation. (line 6)
-* interaction between TCX files and -8bit.: TCX files. (line 104)
+* interaction between TCX files and '-8bit'.: TCX files. (line 104)
* interaction mode: Common options. (line 50)
* international characters: TCX files. (line 6)
* introduction: Introduction. (line 6)
@@ -4041,7 +4042,7 @@ Index
* literate programming: WEB. (line 6)
* LittleEndian machines: Hardware and memory dumps.
(line 6)
-* location of texmf.cnf in TeX Live: Runtime options. (line 56)
+* location of 'texmf.cnf' in TeX Live: Runtime options. (line 56)
* log file, BibTeX: bibtex invocation. (line 14)
* Lua: TeX extensions. (line 30)
* LuaTeX: TeX extensions. (line 30)
@@ -4059,7 +4060,7 @@ Index
* magnification <1>: dvitype invocation. (line 28)
* main_memory: Runtime options. (line 15)
* Make targets, additional: Additional targets. (line 6)
-* Martin, Rick: Introduction. (line 52)
+* Martin, Rick: Introduction. (line 53)
* Mathematical Reviews: Formats. (line 39)
* mathematical typesetting: TeX. (line 6)
* mem file, determining: Determining the memory dump to use.
@@ -4097,7 +4098,7 @@ Index
(line 15)
* MetaPost input files: mpost invocation. (line 30)
* MetaPost invocation: mpost invocation. (line 6)
-* MetaPost source, prettyprinting: mft invocation. (line 79)
+* MetaPost source, prettyprinting: mft invocation. (line 78)
* MetaPost, initial: Initial MetaPost. (line 6)
* MetaPost, TeX, and Metafont: Three programs. (line 6)
* metatype1: Font utilities available elsewhere.
@@ -4123,9 +4124,9 @@ Index
* modes.mf recommended modes file: Modes. (line 10)
* mode_def: Modes. (line 15)
* mode_setup: Modes. (line 15)
-* modifying texmf.cnf in TeX Live: Runtime options. (line 56)
-* Morgan, Tim: Introduction. (line 41)
-* Morris, Bob: Introduction. (line 52)
+* modifying 'texmf.cnf' in TeX Live: Runtime options. (line 56)
+* Morgan, Tim: Introduction. (line 42)
+* Morris, Bob: Introduction. (line 53)
* MPEDIT: Editor invocation. (line 10)
* mpgraph.ps: mpost invocation. (line 18)
* mpman.ps: mpost invocation. (line 6)
@@ -4138,7 +4139,7 @@ Index
* mptrap.readme: Triptrap. (line 6)
* MPX files, converting from DVI files: dvitomp invocation. (line 6)
* Multi-lingual TeX: MLTeX. (line 6)
-* multiple spaces, and \input filenames: \input filename caveats.
+* multiple spaces, and '\input' filenames: \input filename caveats.
(line 6)
* N tilde: \charsubdef. (line 36)
* new graphics support for Metafont: Online Metafont graphics.
@@ -4180,7 +4181,7 @@ Index
* path searching: Path searching. (line 6)
* path searching debugging: Common options. (line 59)
* PDF: TeX extensions. (line 22)
-* PDF, and .mps files: mpost invocation. (line 86)
+* PDF, and '.mps' files: mpost invocation. (line 86)
* pdfTeX: TeX extensions. (line 22)
* permissions, legal: Legalisms. (line 6)
* PFA and PFB conversion: Font utilities available elsewhere.
@@ -4213,7 +4214,7 @@ Index
* plain.bst: Basic BibTeX style files.
(line 11)
* plain.fmt: Initial TeX. (line 13)
-* plain.mft: mft invocation. (line 67)
+* plain.mft: mft invocation. (line 66)
* pltotf: pltotf invocation. (line 6)
* pool file, writing: tangle invocation. (line 16)
* Poole, Simon: Online Metafont graphics.
@@ -4256,10 +4257,10 @@ Index
* PXL files, explained: Font file formats. (line 39)
* pxtoch: Font utilities available elsewhere.
(line 23)
-* quoted filename for \input: \input quoted filename.
+* quoted filename for '\input': \input quoted filename.
(line 6)
* Raichle, Bernd: MLTeX. (line 6)
-* reading, additional: Introduction. (line 60)
+* reading, additional: Introduction. (line 61)
* readonly directory, running TeX in: Output file location.
(line 15)
* readonly directory, running TeX in <1>: Output file location.
@@ -4279,7 +4280,7 @@ Index
* restricted shell escapes: Shell escapes. (line 6)
* right side bearing: pktype invocation. (line 66)
* right side bearing <1>: gftype invocation. (line 82)
-* Rokicki, Tomas: Introduction. (line 41)
+* Rokicki, Tomas: Introduction. (line 42)
* run length encoded bitmaps: pktype invocation. (line 76)
* run length encoded bitmaps <1>: gftype invocation. (line 89)
* runtime options: Runtime options. (line 6)
@@ -4291,8 +4292,8 @@ Index
(line 42)
* security, and output files: tex invocation. (line 48)
* security, and shell escapes: Shell escapes. (line 6)
-* security, and write: mpost invocation. (line 92)
-* security, and \openout: tex invocation. (line 48)
+* security, and 'write': mpost invocation. (line 92)
+* security, and '\openout': tex invocation. (line 48)
* segmentation fault: Runtime options. (line 25)
* shapes: Metafont. (line 6)
* sharing memory dumps: Hardware and memory dumps.
@@ -4313,7 +4314,7 @@ Index
* sockets: IPC and TeX. (line 6)
* space-terminated filenames: \input filenames. (line 10)
* Spiderweb: WEB. (line 12)
-* Stallman, Richard: Introduction. (line 52)
+* Stallman, Richard: Introduction. (line 53)
* starting page: dvicopy invocation. (line 28)
* starting page <1>: dvitype invocation. (line 46)
* Steele Jr., Guy L.: Hardware and memory dumps.
@@ -4324,7 +4325,7 @@ Index
* string pool, writing: tangle invocation. (line 16)
* string representation: pooltype invocation. (line 30)
* style design, for BibTeX: bibtex invocation. (line 49)
-* style files: mft invocation. (line 67)
+* style files: mft invocation. (line 66)
* substitutions of font glyphs: MLTeX. (line 6)
* sun: Online Metafont graphics.
(line 42)
@@ -4341,7 +4342,7 @@ Index
* system C library function: Shell escapes. (line 6)
* system command: Shell escapes. (line 6)
* T1 encoding and ISO input: TCX files. (line 48)
-* tabs, and \input filenames: \input filename caveats.
+* tabs, and '\input' filenames: \input filename caveats.
(line 6)
* Tachikawa, Elizabeth: Font file formats. (line 62)
* tangle: tangle invocation. (line 6)
@@ -4383,7 +4384,7 @@ Index
(line 79)
* TEXMFOUTPUT, used for reading: Output file location.
(line 25)
-* TEXMFOUTPUT, used if . unwritable: Output file location.
+* TEXMFOUTPUT, used if '.' unwritable: Output file location.
(line 19)
* texmf_casefold_search: Runtime options. (line 42)
* texput: tex invocation. (line 33)
@@ -4398,7 +4399,7 @@ Index
* time and date, in memory dumps: Hardware and memory dumps.
(line 30)
* title font: gftodvi invocation. (line 33)
-* tokenization, and \input filenames: \input filename caveats.
+* tokenization, and '\input' filenames: \input filename caveats.
(line 6)
* toolkits, X: Online Metafont graphics.
(line 59)
@@ -4408,7 +4409,7 @@ Index
* trap Make target: Additional targets. (line 41)
* trap test: Triptrap. (line 6)
* trapman.tex: Triptrap. (line 6)
-* Trickey, Howard: Introduction. (line 41)
+* Trickey, Howard: Introduction. (line 42)
* trip Make target: Additional targets. (line 41)
* trip test: Triptrap. (line 6)
* tripman.tex: Triptrap. (line 6)
@@ -4463,7 +4464,7 @@ Index
* WEB programs, compiling: tangle invocation. (line 6)
* WEB programs, typesetting: weave invocation. (line 6)
* WEB2C, search path for TCX files: TCX files. (line 35)
-* Weber, Olaf: Introduction. (line 41)
+* Weber, Olaf: Introduction. (line 42)
* webmac.tex: weave invocation. (line 22)
* webman.tex: WEB. (line 12)
* whitespace, in TCX files: TCX files. (line 68)
@@ -4508,81 +4509,76 @@ Index
Tag Table:
Node: Top2759
Node: Introduction3830
-Node: Installation7155
-Node: configure options9199
-Node: Compile-time options11221
-Node: Additional targets12323
-Node: Triptrap13600
-Node: Commonalities15103
-Node: Option conventions15636
-Node: Common options16859
-Node: Path searching21239
-Node: Output file location22211
-Node: Three programs23513
-Node: Runtime options24220
-Node: Initial and virgin27361
-Node: Memory dumps28310
-Node: Creating memory dumps28762
-Node: Determining the memory dump to use29969
-Node: Hardware and memory dumps31546
-Node: Editor invocation33992
-Node: \input filenames34855
-Node: \input quoted filename36408
-Node: \input braced filename37185
-Node: \input filename caveats38115
-Node: TeX39629
-Node: tex invocation40797
-Node: Initial TeX47700
-Node: Formats49064
-Node: Languages and hyphenation51990
-Node: MLTeX52420
-Node: \charsubdef54048
-Node: \tracingcharsubdef56371
-Node: TCX files56946
-Node: patgen invocation62386
-Node: Shell escapes63092
-Node: IPC and TeX66672
-Node: TeX extensions67242
-Node: Metafont69207
-Node: mf invocation70495
-Node: Initial Metafont74332
-Node: Modes75962
-Node: Online Metafont graphics78212
-Node: gftodvi invocation81637
-Node: mft invocation84457
-Node: MetaPost88455
-Node: mpost invocation89291
-Node: Initial MetaPost94467
-Node: dvitomp invocation95389
-Node: BibTeX96054
-Node: bibtex invocation96415
-Node: Basic BibTeX style files98889
-Node: WEB100219
-Node: tangle invocation101428
-Node: weave invocation103551
-Node: pooltype invocation104958
-Node: DVI utilities106088
-Node: dvicopy invocation107022
-Node: dvitype invocation108307
-Node: dvitype output example110638
-Node: Font utilities113691
-Node: Font file formats114871
-Node: gftopk invocation118140
-Node: pktogf invocation119331
-Node: pktype invocation120497
-Node: gftype invocation123320
-Node: tftopl invocation127823
-Node: pltotf invocation132416
-Node: vftovp invocation133467
-Node: vptovf invocation135702
-Node: Font utilities available elsewhere136729
-Node: Legalisms139109
-Node: References140555
-Node: Index144643
+Node: Installation7166
+Node: configure options9210
+Node: Compile-time options11232
+Node: Additional targets12334
+Node: Triptrap13611
+Node: Commonalities15114
+Node: Option conventions15647
+Node: Common options16870
+Node: Path searching21250
+Node: Output file location22222
+Node: Three programs23524
+Node: Runtime options24231
+Node: Initial and virgin27372
+Node: Memory dumps28321
+Node: Creating memory dumps28773
+Node: Determining the memory dump to use29980
+Node: Hardware and memory dumps31557
+Node: Editor invocation34003
+Node: \input filenames34866
+Node: \input quoted filename36419
+Node: \input braced filename37196
+Node: \input filename caveats38126
+Node: TeX39640
+Node: tex invocation40808
+Node: Initial TeX47711
+Node: Formats49075
+Node: Languages and hyphenation52001
+Node: MLTeX52431
+Node: \charsubdef54059
+Node: \tracingcharsubdef56382
+Node: TCX files56957
+Node: patgen invocation62397
+Node: Shell escapes63103
+Node: IPC and TeX66683
+Node: TeX extensions67253
+Node: Metafont69218
+Node: mf invocation70506
+Node: Initial Metafont74343
+Node: Modes75973
+Node: Online Metafont graphics78223
+Node: gftodvi invocation81648
+Node: mft invocation84468
+Node: MetaPost88466
+Node: mpost invocation89302
+Node: Initial MetaPost94478
+Node: dvitomp invocation95400
+Node: BibTeX96065
+Node: bibtex invocation96426
+Node: Basic BibTeX style files98900
+Node: WEB100230
+Node: tangle invocation101471
+Node: weave invocation103594
+Node: pooltype invocation105001
+Node: DVI utilities106131
+Node: dvicopy invocation107065
+Node: dvitype invocation108350
+Node: dvitype output example110687
+Node: Font utilities113740
+Node: Font file formats114920
+Node: gftopk invocation118189
+Node: pktogf invocation119380
+Node: pktype invocation120546
+Node: gftype invocation123369
+Node: tftopl invocation127872
+Node: pltotf invocation132465
+Node: vftovp invocation133516
+Node: vptovf invocation135751
+Node: Font utilities available elsewhere136778
+Node: Legalisms139158
+Node: References140604
+Node: Index144692

End Tag Table
-
-
-Local Variables:
-coding: utf-8
-End:
diff --git a/Build/source/texk/web2c/doc/web2c.texi b/Build/source/texk/web2c/doc/web2c.texi
index 5f9df311bff..ace1dd28ada 100644
--- a/Build/source/texk/web2c/doc/web2c.texi
+++ b/Build/source/texk/web2c/doc/web2c.texi
@@ -174,9 +174,9 @@ creation; consult each source file for exact details. The main
practical implication for redistributors of Web2c is that most of the
executables are covered by the GNU General Public License or GNU
Lesser General Public License, and therefore anyone who gets a binary
-distribution must also get the sources, as explained by the terms of
-the GPL (@url{https://gnu.org/licenses/}. The GPL covers the Web2c
-executables, including @code{tex}, because the Free Software
+distribution must also be able to get the sources, as explained by the
+terms of the GPL (@url{https://gnu.org/licenses/}. The GPL covers the
+Web2c executables, including @code{tex}, because the Free Software
Foundation sponsored the initial development of the Kpathsea library
that Web2c uses. The basic source files from Stanford, however, have
their own copyright terms or are in the public domain, and are not