Update doc/efun/ aus Driversourcen.
Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.
Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/program_time b/doc/efun/program_time
index e7da010..5af4d9b 100644
--- a/doc/efun/program_time
+++ b/doc/efun/program_time
@@ -1,14 +1,13 @@
SYNOPSIS
int program_time()
- int program_time(object|lwobject obj)
+ int program_time(object|lwobject ob)
-BESCHREIBUNG
- Gibt den Zeitpunkt an, zu dem das Objekt <obj> (bzw. this_object(),
- wenn nichts angegeben wurde) erzeugt, d.h. kompiliert wurde.
+DESCRIPTION
+ Returns the creation (compilation) time of the object's
+ program. Default is this_object(), if no arg is given.
-ANMERKUNGEN
- Diese Efun swapt das Programm zurueck ins Objekt, wenn es ausgelagert
- war.
+ CAVEAT: If the objects program is swapped out, this efun
+ swaps it back in.
-SIEHE AUCH
+SEE ALSO
object_time(E), program_name(E)