update

1 files changed, 7 insertions, 2 deletions

diff --git a/man/man1/9term.1 b/man/man1/9term.1
index 7f0b4375..484f2d3c 100644
--- a/man/man1/9term.1
+++ b/man/man1/9term.1
@@ -188,13 +188,18 @@ before (after) the current selection.
 .PP
 .I 9term
 relies on the kernel's terminal processing to handle
-EOT and DEL, so the terminal must be set up with EOT
-as the ``eof'' character and DEL as the ``intr'' character.
+EOT, so the terminal must be set up with EOT
+as the ``eof'' character.
 .I 9term
 runs
 .IR stty (1)
 to establish this when the terminal is created.
 .PP
+.I 9term
+always treats the DEL keystroke as an interrupt request.
+In response it sends the terminal's current interrupt character
+(which need not be DEL).
+.PP
 Normally, written output to a window blocks when
 the text reaches the end of the screen and the terminal
 buffer fills;