printing works; font sizes are weird

[pspp] / doc / invoking.texi

diff --git a/doc/invoking.texi b/doc/invoking.texi
index fbc7009e5cdd96c15de6f7b4f9b38eb150e9b460..016659377da7a52d34e984bc31082267f26a6143 100644 (file)
--- a/doc/invoking.texi
+++ b/doc/invoking.texi
@@ -1,5 +1,5 @@
 @c PSPP - a program for statistical analysis.
-@c Copyright (C) 2017 Free Software Foundation, Inc.
+@c Copyright (C) 2017, 2020 Free Software Foundation, Inc.
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3
 @c or any later version published by the Free Software Foundation;
@@ -255,15 +255,13 @@ Sets the margins around the page.  See
 below for the allowed forms of @var{dimension} Default: @code{0.5in}.
 
 @item @option{-O prop-font=@var{font-name}}
-@itemx @option{-O emph-font=@var{font-name}}
 @itemx @option{-O fixed-font=@var{font-name}}
-Sets the font used for proportional, emphasized, or fixed-pitch text.
-Most systems support CSS-like font names such as ``serif'' and
+Sets the font used for proportional, or fixed-pitch text.  Most
+systems support CSS-like font names such as ``serif'' and
 ``monospace'', but a wide range of system-specific font are likely to
 be supported as well.
 
-Default: proportional font @code{serif}, emphasis font @code{serif
-italic}, fixed-pitch font @code{monospace}.
+Default: proportional font @code{serif}, fixed-pitch font @code{monospace}.
 
 @item @option{-O font-size=@var{font-size}}
 Sets the size of the default fonts, in thousandths of a point.  Default: