diff --git a/doc/C/usage-print.sgml b/doc/C/usage-print.sgml
index cc1ac16357..faa9e58534 100644
--- a/doc/C/usage-print.sgml
+++ b/doc/C/usage-print.sgml
@@ -59,9 +59,9 @@
     <para>
        The printer selection window, shown in <xref
        linkend="print-dest">, lets you choose the format for
-       printing&mdash; at this time, only <guilabel>Generic
-       Postscript</guilabel> is available&mdash; and whether to print
-       to a file or to an actual printer.  If you choose a printer,
+       printing&mdash; <guilabel>Generic
+       Postscript</guilabel>, whether to write to a PDF file,  and whether to print
+       to a file or to an actual printer in Generic Postscript.  If you choose a printer,
        you'll be asked for the printer command (probably
        <guilabel>lpr</guilabel>) which your system uses.  If you
        choose to print to a file, you'll need to decide upon a
diff --git a/help/C/usage-print.sgml b/help/C/usage-print.sgml
index cc1ac16357..faa9e58534 100644
--- a/help/C/usage-print.sgml
+++ b/help/C/usage-print.sgml
@@ -59,9 +59,9 @@
     <para>
        The printer selection window, shown in <xref
        linkend="print-dest">, lets you choose the format for
-       printing&mdash; at this time, only <guilabel>Generic
-       Postscript</guilabel> is available&mdash; and whether to print
-       to a file or to an actual printer.  If you choose a printer,
+       printing&mdash; <guilabel>Generic
+       Postscript</guilabel>, whether to write to a PDF file,  and whether to print
+       to a file or to an actual printer in Generic Postscript.  If you choose a printer,
        you'll be asked for the printer command (probably
        <guilabel>lpr</guilabel>) which your system uses.  If you
        choose to print to a file, you'll need to decide upon a