diff --git a/doc/master/remove_player b/doc/master/remove_player
new file mode 100644
index 0000000..b70a1fb
--- /dev/null
+++ b/doc/master/remove_player
@@ -0,0 +1,14 @@
+SYNOPSIS
+	void remove_player(object ob)
+
+DESCRIPTION
+	Remove an interactive user object ob from the system. This
+	function is called by the interpreter to expell remaining
+	users from the system on shutdown in a polite way. If this
+	functions fails to quit/destruct the user, he will be
+	destructed the hard way by the interpreter.
+
+	This function must not cause runtime errors.
+
+SEE ALSO
+	remove_interactive(E), slow_shut_down(M)