(Buffer Names): Buffers whose names start with a space, but which visit

a file, _are_ mentioned by buffer-menu.

diff --git a/lispref/buffers.texi b/lispref/buffers.texi
index 4ceaabfbfc23839b7ebb8a8e67c5d97b11ac7314..869429a7a81666875decf7d24404670d3b1daac0 100644 (file)
--- a/lispref/buffers.texi
+++ b/lispref/buffers.texi
@@ -253,7 +253,8 @@ object, not a name.
 
   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}.