Added public files
Roughly added all public files. Probably missed some, though.
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)