diff options
Diffstat (limited to 'Build/source/texk/web2c/man')
-rw-r--r-- | Build/source/texk/web2c/man/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/web2c/man/gftodvi.man | 4 |
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 |