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

diff --git a/man/ChangeLog b/man/ChangeLog
index 3443abbd0931c3f726bf4d1f6d9ddabd5080b3f4..f378e865d4a3b727f36726186fe89fe328310e7a 100644 (file)
--- 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 cc345b93b8f78ba57691425b3442e0caa5b10b06..f532690b2382e71bdf3c6e735ed13fda1ce76f81 100644 (file)
--- 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