feature/pgtk 4844aaa: Documentation fixes for pgtk port

[Po Lu]

branch: feature/pgtk
commit 4844aaac199de9af8da0a62b5ae92b1f5a7abb2c
Author: Po Lu <luangruo@yahoo.com>
Commit: Po Lu <luangruo@yahoo.com>

    Documentation fixes for pgtk port
    
    * doc/lispref/display.texi (Defining Faces):
    * doc/lispref/frames.texi (Multiple Terminals): Add references
    to the `pgtk' terminal type.
---
 doc/lispref/display.texi | 4 ++--
 doc/lispref/frames.texi  | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/lispref/display.texi b/doc/lispref/display.texi
index 80ef24b..33e8f2f 100644
--- a/doc/lispref/display.texi
+++ b/doc/lispref/display.texi
@@ -2785,8 +2785,8 @@ apply to.  Here are the possible values of 
@var{characteristic}:
 The kind of window system the terminal uses---either @code{graphic}
 (any graphics-capable display), @code{x}, @code{pc} (for the MS-DOS
 console), @code{w32} (for MS Windows 9X/NT/2K/XP), @code{haiku} (for
-Haiku), or @code{tty} (a non-graphics-capable display).
-@xref{Window Systems, window-system}.
+Haiku), @code{pgtk} (for GTK), or @code{tty} (a non-graphics-capable
+display).  @xref{Window Systems, window-system}.
 
 @item class
 What kinds of colors the terminal supports---either @code{color},
diff --git a/doc/lispref/frames.texi b/doc/lispref/frames.texi
index 923ff19..1dfd0d4 100644
--- a/doc/lispref/frames.texi
+++ b/doc/lispref/frames.texi
@@ -214,7 +214,7 @@ The terminal and keyboard coding systems used on the 
terminal.
 @item
 The kind of display associated with the terminal.  This is the symbol
 returned by the function @code{terminal-live-p} (i.e., @code{x},
-@code{t}, @code{w32}, @code{ns}, @code{pc}, or @code{haiku}).
+@code{t}, @code{w32}, @code{ns}, @code{pc}, @code{haiku}, or @code{pgtk}).
 @xref{Frames}.
 
 @item