Update doc/efun/ aus Driversourcen.
Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.
Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/time b/doc/efun/time
index d9e9ed2..ab3ffb7 100644
--- a/doc/efun/time
+++ b/doc/efun/time
@@ -1,21 +1,20 @@
SYNOPSIS
int time()
-BESCHREIBUNG
- Liefert die Anzahl Sekunden, die seit dem 01. Januar 1970,
- 00:00:00 GMT verstrichen sind.
+DESCRIPTION
+ Return number of seconds ellapsed since 1. Jan 1970, 0.0:0 GMT
- Die Zeitangabe basiert auf der Systemzeit des Hosts; der Driver
- stellt jedoch sicher, dass das Resultat von time() monoton ansteigt
- (also immer nur zu hoeheren Werten wechselt).
+ The time is based on the time provided by the host system, however,
+ the driver makes sure that the result of time() is monotonically
+ increasing (ie. changes only to bigger numbers).
- Das Resultat von time() veraendert sich nicht waehrend dem Abarbeiten
- eines Kommandos.
+ The result of time() does not change during the course of a command
+ execution.
-BEISPIELE
- Um das aktuelle Datum und die aktuelle Zeit anzuzeigen:
+EXAMPLES
+ write(ctime(time())+"\n");
- write(ctime(time())+"\n");
+ Print out the current date and time.
-SIEHE AUCH
+SEE ALSO
ctime(E), gmtime(E), localtime(E), utime(E)