# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1004440015 0
# Node ID 93b1df487abec6ada18fb533f09644045d8a558b
# Parent  4ce165b55ef10aa3e6a92fe9774b35bd06bd10f1
(Buffer Names): Buffers whose names start with a space, but which visit
a file, _are_ mentioned by buffer-menu.

diff -r 4ce165b55ef1 -r 93b1df487abe lispref/buffers.texi
--- a/lispref/buffers.texi	Tue Oct 30 10:59:15 2001 +0000
+++ b/lispref/buffers.texi	Tue Oct 30 11:06:55 2001 +0000
@@ -253,7 +253,8 @@
 
   Buffers that are ephemeral and generally uninteresting to the user
 have names starting with a space, so that the @code{list-buffers} and
-@code{buffer-menu} commands don't mention them.  A name starting with
+@code{buffer-menu} commands don't mention them (but if such a buffer
+visits a file, it @strong{is} mentioned).  A name starting with
 space also initially disables recording undo information; see
 @ref{Undo}.