# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 966146925 0
# Node ID 43cd847ecb62c0e465981b8b8c310deebaabead5
# Parent  e9948dd313fa53b7ce2dda71b9873df9480b3413
(Misc Buffer): Document kill-read-only-ok.

diff -r e9948dd313fa -r 43cd847ecb62 man/buffers.texi
--- a/man/buffers.texi	Sun Aug 13 06:07:36 2000 +0000
+++ b/man/buffers.texi	Sun Aug 13 06:08:45 2000 +0000
@@ -160,7 +160,9 @@
 with @samp{%%} or @samp{%*} near the left margin.  Read-only buffers are
 usually made by subsystems such as Dired and Rmail that have special
 commands to operate on the text; also by visiting a file whose access
-control says you cannot write it.
+control says you cannot write it.  However, if the variable
+@code{kill-read-only-ok} is set to a non-@code{nil} value, you can kill
+(a.k.a.@: cut) read-only text, see @ref{Killing}.
 
   If you wish to make changes in a read-only buffer, use the command
 @kbd{C-x C-q} (@code{vc-toggle-read-only}).  It makes a read-only buffer