diff options
Diffstat (limited to 'Build/source/texk/web2c/man/gftopk.man')
-rw-r--r-- | Build/source/texk/web2c/man/gftopk.man | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/Build/source/texk/web2c/man/gftopk.man b/Build/source/texk/web2c/man/gftopk.man index 4ac55f79b67..0af5af98eae 100644 --- a/Build/source/texk/web2c/man/gftopk.man +++ b/Build/source/texk/web2c/man/gftopk.man @@ -18,13 +18,9 @@ gftopk \- convert generic font files to packed font files .SH SYNOPSIS .B gftopk -[ -.B \-v -] +.RB [ \-v ] .I gf_file_name -[ -.I pk_file_name -] +.RI [ pk_file_name ] .\"===================================================================== .SH DESCRIPTION This manual page is not meant to be exhaustive. The complete @@ -56,9 +52,9 @@ defaults to the same (stripped) name as .IR gf_file_name , and it is placed in the current working directory with the -.I pk +.B pk suffix replacing -.IR gf . +.BR gf . For example, the input file .I cmr10.300gf would become |