diff options
Diffstat (limited to 'Build/source')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 18 | ||||
-rw-r--r-- | Build/source/texk/web2c/bibtex.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/dvicopy.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/dvitype.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/gftodvi.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/gftopk.ch | 3 | ||||
-rw-r--r-- | Build/source/texk/web2c/gftype.ch | 3 | ||||
-rw-r--r-- | Build/source/texk/web2c/mft.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/pktogf.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/pltotf.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/tangle.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/tftopl.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/vftovp.ch | 3 | ||||
-rw-r--r-- | Build/source/texk/web2c/vptovf.ch | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/weave.ch | 2 |
15 files changed, 35 insertions, 14 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index 33ed8a4e005..bf13e945b46 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,21 @@ +2020-05-30 Andreas Scherer <https://ascherer.github.io> + + * bibtex.ch, + * dvicopy.ch, + * dvitype.ch, + * gftodvi.ch, + * gftopk.ch, + * gftype.ch, + * mft.ch, + * pktogf.ch, + * pltotf.ch, + * tangle.ch, + * tftopl.ch, + * vftovp.ch, + * vptovf.ch, + * weave.ch: 'do_nothing' for something; this improves the + typographic output of the WEB sources with changes applied. + 2020-05-25 Andreas Scherer <https://ascherer.github.io> * bibtex.ch, diff --git a/Build/source/texk/web2c/bibtex.ch b/Build/source/texk/web2c/bibtex.ch index 977769c6f94..27adc213665 100644 --- a/Build/source/texk/web2c/bibtex.ch +++ b/Build/source/texk/web2c/bibtex.ch @@ -1621,7 +1621,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); diff --git a/Build/source/texk/web2c/dvicopy.ch b/Build/source/texk/web2c/dvicopy.ch index 2464bb543db..84639fb017d 100644 --- a/Build/source/texk/web2c/dvicopy.ch +++ b/Build/source/texk/web2c/dvicopy.ch @@ -523,7 +523,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); diff --git a/Build/source/texk/web2c/dvitype.ch b/Build/source/texk/web2c/dvitype.ch index aee01c08234..661a4b7bdd0 100644 --- a/Build/source/texk/web2c/dvitype.ch +++ b/Build/source/texk/web2c/dvitype.ch @@ -513,7 +513,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); diff --git a/Build/source/texk/web2c/gftodvi.ch b/Build/source/texk/web2c/gftodvi.ch index aecfce210ee..7df959ce4fd 100644 --- a/Build/source/texk/web2c/gftodvi.ch +++ b/Build/source/texk/web2c/gftodvi.ch @@ -613,7 +613,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); diff --git a/Build/source/texk/web2c/gftopk.ch b/Build/source/texk/web2c/gftopk.ch index d6949da91c8..38dd79decd3 100644 --- a/Build/source/texk/web2c/gftopk.ch +++ b/Build/source/texk/web2c/gftopk.ch @@ -389,6 +389,7 @@ itself will get a new section number. Parse a Unix-style command line. @d argument_is (#) == (strcmp (long_options[option_index].name, #) = 0) +@d do_nothing == {empty statement} @<Define |parse_arguments|@> = procedure parse_arguments; @@ -404,7 +405,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); {|getopt| has already given an error message.} diff --git a/Build/source/texk/web2c/gftype.ch b/Build/source/texk/web2c/gftype.ch index a663670e5f7..18357b3f475 100644 --- a/Build/source/texk/web2c/gftype.ch +++ b/Build/source/texk/web2c/gftype.ch @@ -426,6 +426,7 @@ itself will get a new section number. Parse a Unix-style command line. @d argument_is (#) == (strcmp (long_options[option_index].name, #) = 0) +@d do_nothing == {empty statement} @<Define |parse_arguments|@> = procedure parse_arguments; @@ -440,7 +441,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); 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); diff --git a/Build/source/texk/web2c/pktogf.ch b/Build/source/texk/web2c/pktogf.ch index a8115b12e21..1451e2278a9 100644 --- a/Build/source/texk/web2c/pktogf.ch +++ b/Build/source/texk/web2c/pktogf.ch @@ -458,7 +458,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); diff --git a/Build/source/texk/web2c/pltotf.ch b/Build/source/texk/web2c/pltotf.ch index 587b332c6d4..575d31b3e27 100644 --- a/Build/source/texk/web2c/pltotf.ch +++ b/Build/source/texk/web2c/pltotf.ch @@ -272,7 +272,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); diff --git a/Build/source/texk/web2c/tangle.ch b/Build/source/texk/web2c/tangle.ch index 6f3bb6bd417..68e119f6628 100644 --- a/Build/source/texk/web2c/tangle.ch +++ b/Build/source/texk/web2c/tangle.ch @@ -670,7 +670,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); diff --git a/Build/source/texk/web2c/tftopl.ch b/Build/source/texk/web2c/tftopl.ch index b0c1ba581ff..48a2cd209a1 100644 --- a/Build/source/texk/web2c/tftopl.ch +++ b/Build/source/texk/web2c/tftopl.ch @@ -347,7 +347,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); diff --git a/Build/source/texk/web2c/vftovp.ch b/Build/source/texk/web2c/vftovp.ch index 389255f9c10..91472325360 100644 --- a/Build/source/texk/web2c/vftovp.ch +++ b/Build/source/texk/web2c/vftovp.ch @@ -562,7 +562,8 @@ 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); diff --git a/Build/source/texk/web2c/vptovf.ch b/Build/source/texk/web2c/vptovf.ch index 5e1a4377c07..7a55c0642ca 100644 --- a/Build/source/texk/web2c/vptovf.ch +++ b/Build/source/texk/web2c/vptovf.ch @@ -246,7 +246,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); {|getopt| has already given an error message.} diff --git a/Build/source/texk/web2c/weave.ch b/Build/source/texk/web2c/weave.ch index cf5435e873f..32803a1356a 100644 --- a/Build/source/texk/web2c/weave.ch +++ b/Build/source/texk/web2c/weave.ch @@ -364,7 +364,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); |