summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/man
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/man')
-rw-r--r--Build/source/texk/web2c/man/ChangeLog4
-rw-r--r--Build/source/texk/web2c/man/gftodvi.man4
2 files changed, 6 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/man/ChangeLog b/Build/source/texk/web2c/man/ChangeLog
index b46a605d72e..2d428cd3333 100644
--- a/Build/source/texk/web2c/man/ChangeLog
+++ b/Build/source/texk/web2c/man/ChangeLog
@@ -1,3 +1,7 @@
+2019-03-25 Karl Berry <karl@freefriends.org>
+
+ * gftodvi.man: omit unused second font letter. From Debian.
+
2019-03-10 Andreas Scherer <https://ascherer.github.io>
* ctwill.man: Fix non-macro '\\PB';
diff --git a/Build/source/texk/web2c/man/gftodvi.man b/Build/source/texk/web2c/man/gftodvi.man
index ea952df44cc..656ee1b2a45 100644
--- a/Build/source/texk/web2c/man/gftodvi.man
+++ b/Build/source/texk/web2c/man/gftodvi.man
@@ -1,4 +1,4 @@
-.TH GFTODVI 1 "16 June 2015" "Web2C @VERSION@"
+.TH GFTODVI 1 "25 March 2019" "Web2C @VERSION@"
.\"=====================================================================
.if n .ds MF Metafont
.if t .ds MF Metafont
@@ -60,7 +60,7 @@ and
respectively; there is no default slant font.
.PP
To change the default fonts, you can give
-.BR special
+.B special
commands in your
\*(MF source file, or you can change the fonts online. An online dialog
ensues if you end the