diff options
| author | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-30 16:54:36 +0000 |
|---|---|---|
| committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-30 16:54:36 +0000 |
| commit | 36b6527ce0c7d1a7e8611a596ecf38d1aae871bd (patch) | |
| tree | 4aef90846250480b266a7fbf78171b3ae09da9fa /Build/source/texk/web2c/mft.ch | |
| parent | fba7c7372892cfcf69fe3302d4e7bb76dc59e361 (diff) | |
[WEB2C] Improve typography of WEB sources.
git-svn-id: svn://tug.org/texlive/trunk@55343 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mft.ch')
| -rw-r--r-- | Build/source/texk/web2c/mft.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mft.ch b/Build/source/texk/web2c/mft.ch index e19f61c039f..e43e6d66812 100644 --- a/Build/source/texk/web2c/mft.ch +++ b/Build/source/texk/web2c/mft.ch @@ -988,7 +988,7 @@ begin getopt_return_val := getopt_long_only (argc, argv, '', long_options, address_of (option_index)); if getopt_return_val = -1 then begin - {End of arguments; we exit the loop below.} ; + do_nothing; {End of arguments; we exit the loop below.} end else if getopt_return_val = "?" then begin usage (my_name); |