From 3094ad7a5f8a4b33c8fb8dacd7171c523895a369 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Sun, 3 Feb 2002 17:45:02 +0000
Subject: [PATCH] (Faces): Document the minibuffer-prompt face.

---
 man/display.texi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/man/display.texi b/man/display.texi
index aa9678a2283..1e143bcd1f6 100644
--- a/man/display.texi
+++ b/man/display.texi
@@ -106,6 +106,8 @@ the default face on non-windowed terminals.  @xref{Display Custom}.
 @item header-line
 Similar to @code{mode-line} for a window's header line.  Most modes
 don't use the header line, but the Info mode does.
+@item minibuffer-prompt
+This face is used for the prompt strings displayed in the minibuffer.
 @item highlight
 This face is used for highlighting portions of text, in various modes.
 For example, mouse-sensitive text is highlighted using this face.
-- 
2.39.2