# HG changeset patch
# User Roland McGrath <roland@gnu.org>
# Date 738804249 0
# Node ID c9443f73d32975f9feb03528d79ddd9ba381c13b
# Parent  4df33c972833860b74a466e5b320521019cadddb
(Fgenerate_new_buffer_name): Doc fix.

diff -r 4df33c972833 -r c9443f73d329 src/buffer.c
--- a/src/buffer.c	Sun May 30 23:10:28 1993 +0000
+++ b/src/buffer.c	Sun May 30 23:24:09 1993 +0000
@@ -336,7 +336,7 @@
 If there is no live buffer named NAME, then return NAME.\n\
 Otherwise modify name by appending `<NUMBER>', incrementing NUMBER\n\
 until an unused name is found, and then return that name.\n\
-Optional second argument ignore specifies a name that is okay to use\n\
+Optional second argument IGNORE specifies a name that is okay to use\n\
 \(if it is in the sequence to be tried)\n\
 even if a buffer with that name exists.")
  (name, ignore)