Update Doku aus Driversourcen
Change-Id: I455f0813b970151089b3dc1b8d9407eea323cdd1
diff --git a/doc/master/remove_player b/doc/master/remove_player
index b70a1fb..10ffd22 100644
--- a/doc/master/remove_player
+++ b/doc/master/remove_player
@@ -1,14 +1,14 @@
SYNOPSIS
- void remove_player(object ob)
+ 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.
+ 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.
+ This function must not cause runtime errors.
SEE ALSO
- remove_interactive(E), slow_shut_down(M)
+ remove_interactive(E), slow_shut_down(M)