Update doc/efun/ aus Driversourcen.
Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.
Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/object_time b/doc/efun/object_time
index 3100dbc..2db6e94 100644
--- a/doc/efun/object_time
+++ b/doc/efun/object_time
@@ -2,9 +2,9 @@
int object_time()
int object_time(object ob)
-BESCHREIBUNG
- Liefert die Zeit, zu der das Objekt <ob> erstellt wurde. Wird <obj>
- nicht angegeben, wird standardmaessig this_object() verwendet.
+DESCRIPTION
+ Returns the creation time of the given object.
+ Default is for this_object(), if no arg is given.
-SIEHE AUCH
+SEE ALSO
program_time(E), program_name(E)