diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2020-06-10 09:59:57 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-06-10 09:59:57 +0000 |
commit | 8ebcaa9987dc42aa6e5f6c71e32741d054d701bb (patch) | |
tree | d1c9a558e4a294a1e89d702ea0749a43a34c0a5b /Build/source/texk/web2c/gftopk.ch | |
parent | 5d08a3529191001537f6423c84e3e82ee95fb65a (diff) |
[WEB2C] Minor redactions in TeX parts.
Avoid line break in sections with empty TeX part. Assimilate with TeX
and Metafont.
git-svn-id: svn://tug.org/texlive/trunk@55502 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/gftopk.ch')
-rw-r--r-- | Build/source/texk/web2c/gftopk.ch | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/gftopk.ch b/Build/source/texk/web2c/gftopk.ch index fa496d44058..80f333e77e4 100644 --- a/Build/source/texk/web2c/gftopk.ch +++ b/Build/source/texk/web2c/gftopk.ch @@ -477,12 +477,10 @@ long_options[current_option].flag := address_of (verbose); long_options[current_option].val := 1; incr (current_option); -@ -@<Glob...@> = +@ @<Glob...@> = @!verbose: c_int_type; -@ -@<Initialize the option...@> = +@ @<Initialize the option...@> = verbose := false; @ An element with all zeros always ends the list. |