; * etc/NEWS: Rearrange Info-related entries

diff --git a/etc/NEWS b/etc/NEWS
index d56c714f94c2e1fefaf35a823d6e11f716fb5ff8..562741a3f782b10c356ba26e1e1136348ce780f4 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -151,11 +151,6 @@ change in future releases.  For that reason, their support is disabled
 by default, and must be enabled by using the `--with-modules' option
 at configure time.
 
----
-** Info mode now displays symbol names in fixed-pitch font.
-If you want to get the old behavior back, customize the `Info-quoted'
-face to use the same definitions as the default face.
-
 +++
 ** Any file of the form .dir-locals*.el is now considered a dir-local
 file, and multiple such files can be used in the same directory.  See
@@ -705,8 +700,15 @@ The remainder were:
 
 ** New js.el option `js-indent-first-init'.
 
+** Info
+
+---
+** Info mode now displays symbol names in fixed-pitch font.
+If you want to get the old behavior back, customize the `Info-quoted'
+face to use the same definitions as the default face.
+
 ---
-** `Info-fontify-maximum-menu-size' can be t for no limit.
+*** `Info-fontify-maximum-menu-size' can be t for no limit.
 
 +++
 ** `info-display-manual' can now be given a prefix argument which (any