(Font Lock): Delete the Global FL menu item.

2 files changed, 4 insertions, 4 deletions

diff --git a/man/ChangeLog b/man/ChangeLog
index 3443abbd093..f378e865d4a 100644
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -1,3 +1,7 @@
+2005-12-09  Richard M. Stallman  <rms@gnu.org>
+
+        * display.texi (Font Lock): Delete the Global FL menu item.
+
 2005-12-09  Luc Teirlinck  <teirllm@auburn.edu>
 
         * custom.texi (Minibuffer Maps): Mention the maps for file name
diff --git a/man/display.texi b/man/display.texi
index cc345b93b8f..f532690b238 100644
--- a/man/display.texi
+++ b/man/display.texi
@@ -274,10 +274,6 @@ interface (@pxref{Easy Customization}), or use the function
 (global-font-lock-mode 0)
 @end example
 
-@noindent
-Global Font Lock mode can also be set using the menu bar Options menu,
-specifying first Syntax Highlighting and then Save Options.
-
 @findex turn-on-font-lock
   If you have disabled Global Font Lock mode, you can still enable font
 lock for specific major modes by adding the function