Update doc/efun/ aus Driversourcen.
Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.
Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/extern_call b/doc/efun/extern_call
index b20bbf8..a1e4fcf 100644
--- a/doc/efun/extern_call
+++ b/doc/efun/extern_call
@@ -1,15 +1,15 @@
SYNOPSIS
- int extern_call()
+ int extern_call();
-BESCHREIBUNG
- Liefert 0, wenn die momentane ausgefuehrte Funktion durch eine lokale
- Funktion aufgerufen wurde, einen Wert ungleich 0 fuer Aufrufe durch
- call_other(), den Treiber, Closures etc. Im Moment liefert die
- Funktion in all diesen Faellen 1 zurueck, in Zukunft koennte
- allerdings eine Unterscheidung der Aufrufe moeglich werden.
+DESCRIPTION
+ Returns zero, if the function that is currently being executed
+ was called by a local call, non-zero for call_other(), driver
+ applies, closure calls, etc. Currently the only return value
+ for them is 1, but later the various methods may be
+ distinguished by means of the return value.
-GESCHICHTE
- Eingefuehrt in 3.2@263 bzw. 3.2.1@12.
+HISTORY
+ Introduced in 3.2@263 resp. 3.2.1@12
-SIEHE AUCH
+SEE ALSO
call_other(E), previous_object(E)