summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/ChangeLog18
-rw-r--r--Build/source/texk/web2c/bibtex.ch2
-rw-r--r--Build/source/texk/web2c/dvicopy.ch2
-rw-r--r--Build/source/texk/web2c/dvitype.ch2
-rw-r--r--Build/source/texk/web2c/gftodvi.ch2
-rw-r--r--Build/source/texk/web2c/gftopk.ch3
-rw-r--r--Build/source/texk/web2c/gftype.ch3
-rw-r--r--Build/source/texk/web2c/mft.ch2
-rw-r--r--Build/source/texk/web2c/pktogf.ch2
-rw-r--r--Build/source/texk/web2c/pltotf.ch2
-rw-r--r--Build/source/texk/web2c/tangle.ch2
-rw-r--r--Build/source/texk/web2c/tftopl.ch2
-rw-r--r--Build/source/texk/web2c/vftovp.ch3
-rw-r--r--Build/source/texk/web2c/vptovf.ch2
-rw-r--r--Build/source/texk/web2c/weave.ch2
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);