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/vftovp.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/vftovp.ch')
-rw-r--r-- | Build/source/texk/web2c/vftovp.ch | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/vftovp.ch b/Build/source/texk/web2c/vftovp.ch index 91472325360..f972b51f148 100644 --- a/Build/source/texk/web2c/vftovp.ch +++ b/Build/source/texk/web2c/vftovp.ch @@ -658,14 +658,12 @@ incr (current_option); @<Type...@> = @!charcode_format_type = charcode_ascii..charcode_default; -@ -@<Const...@> = +@ @<Const...@> = @!charcode_ascii = 0; @!charcode_octal = 1; @!charcode_default = 2; -@ -@<Global...@> = +@ @<Global...@> = @!charcode_format: charcode_format_type; @ It starts off as the default, that is, we output letters and digits as |