summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/gftopk.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/gftopk.ch')
-rw-r--r--Build/source/texk/web2c/gftopk.ch6
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.