Update doc/efun/ aus Driversourcen.
Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.
Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/interactive b/doc/efun/interactive
index f3c19f1..0734970 100644
--- a/doc/efun/interactive
+++ b/doc/efun/interactive
@@ -1,11 +1,12 @@
SYNOPSIS
int interactive()
- int interactive(object obj)
+ int interactive(object ob)
-BESCHREIBUNG
- Liefert 1 zurueck, wenn <obj> ein interaktiver User (ein Spieler)
- ist, sonst 0. Wird <obj> weggelassen, so wird this_object() verwendet.
+DESCRIPTION
+ Return non-zero if ob is an interactive user. If ob is omitted,
+ this_object() will be used. The return value is 1 if the
+ object is interactive, else 0.
-SIEHE AUCH
- query_once_interactive(E), query_ip_number(E), query_ip_name(E),
- query_idle(E)
+SEE ALSO
+ query_once_interactive(E), query_ip_number(E),
+ query_ip_name(E), query_idle(E)