# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 998572294 0
# Node ID 62061f9104927e2027d045a0bfc43bc06de4977e
# Parent  526466ad5a061869986ad0bbf594e508a257a0a5
(Font Lock): Document font-lock-remove-keywords.

diff -r 526466ad5a06 -r 62061f910492 man/display.texi
--- a/man/display.texi	Thu Aug 23 12:42:47 2001 +0000
+++ b/man/display.texi	Thu Aug 23 13:11:34 2001 +0000
@@ -292,6 +292,10 @@
  '(("\\<\\(FIXME\\):" 1 font-lock-warning-face t)))
 @end example
 
+@findex font-lock-remove-keywords
+  To remove keywords from the font-lock highlighting patterns, use the
+function @code{font-lock-remove-keywords}.
+
 @node Highlight Changes
 @section Highlight Changes Mode