diff --git a/doc/master/disconnect b/doc/master/disconnect
new file mode 100644
index 0000000..f7a9f3d
--- /dev/null
+++ b/doc/master/disconnect
@@ -0,0 +1,13 @@
+SYNOPSIS
+	void disconnect(object ob)
+
+DESCRIPTION
+	Handle the loss of the IP connection for the (formerly)
+	interactive object ob. The connection can be lost because the
+	the underlying transport connection was lost (``netdead''), or
+	because of a call to exec() or remove_interactive(). The
+	connection will be unbound upon return from this call.
+
+SEE ALSO
+	connect(M), remove_player(M), remove_interactive(E), exec(E),
+	interactive(E)