summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-06-15 20:36:49 +0000
committerKarl Berry <karl@freefriends.org>2021-06-15 20:36:49 +0000
commit83095b2cbcf2dfab0c4dabe0dfd1c4d6ec3fa825 (patch)
treeaed0aa558a63b7d03549fd7728c758f6c5adfe13
parentdcc73014230ba36f921b3be2b238cdab9aef93f3 (diff)
doc trivia
git-svn-id: svn://tug.org/texlive/trunk@59604 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/web2c/ChangeLog4
-rw-r--r--Build/source/texk/web2c/dvicopy.web2
2 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog
index 366aa0d8edb..3bd33b5079a 100644
--- a/Build/source/texk/web2c/ChangeLog
+++ b/Build/source/texk/web2c/ChangeLog
@@ -1,3 +1,7 @@
+2021-06-15 Karl Berry <karl@freefriends.org>
+
+ * dvicopy.web: erroneous '/'; also switch to "Unix" in text.
+
2021-06-06 Andreas Scherer <https://ascherer.github.io>
* ctangleboot.cin,
diff --git a/Build/source/texk/web2c/dvicopy.web b/Build/source/texk/web2c/dvicopy.web
index f3e74ea38cc..e24ad85b03a 100644
--- a/Build/source/texk/web2c/dvicopy.web
+++ b/Build/source/texk/web2c/dvicopy.web
@@ -3095,7 +3095,7 @@ system permits this. Here we just define the system-independent part of the
code required for this possibility. Since a complete option (a keyword
possibly followed by one or several parameters) may have embedded blanks
it might be necessary to replace these blanks by some other separator,
-e.g., by a '/'. Using, e.g., \.{UNIX} style options one might then say
+e.g., by a `\./'. Using, e.g., Unix style options one might then say
$$\.{\title\space-mag/2000 -sel/17.3/5 -sel/47 ...}$$
to override the magnification factor that is stated in the \.{DVI} file,
and to select five pages starting with the page numbered~17.3 as well as