Documented read-file-name-completion-ignore-case and

read-buffer-completion-ignore-case.

diff --git a/etc/NEWS b/etc/NEWS
index f084f2f3ea5baa38ceef776de1f9b0ba1d786558..42ea33709aacca2335a793011912f502c3e8b061 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -447,10 +447,10 @@ next history elements.  When the reverse search reaches the first history
 element, it wraps to the last history element, and the forward search
 wraps to the first history element.  When the search is terminated, the
 history element containing the search string becomes the current.
-
++++
 *** The variable read-file-name-completion-ignore-case overrides
 completion-ignore-case for file name completion.
-
++++
 *** The variable read-buffer-completion-ignore-case overrides
 completion-ignore-case for buffer name completion.
 ---