Update doc/efun/ aus Driversourcen.
Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.
Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/write_bytes b/doc/efun/write_bytes
index b8b6b0a..2308b77 100644
--- a/doc/efun/write_bytes
+++ b/doc/efun/write_bytes
@@ -1,15 +1,15 @@
SYNOPSIS
int write_bytes(string file, int start, bytes str)
-BESCHREIBUNG
- Schreibt die Bytefolge <str> ins File <file> und ueberschreibt dabei die
- alten Bytes ab Position <start>. Wenn <start> eine negative Zahl ist,
- werden die Zeichen vom Ende von <file> an gezaehlt. write_bytes()
- liefert 1 bei Erfolg, 0 bei Misserfolg.
+DESCRIPTION
+ Write string str to file file by overwriting the old bytes at
+ position start. If start is a negative value then it will be
+ counted from the end of the file. The file will not be
+ appended, instead the function will be aborted. Returns 1 for
+ success 0 for failure during execution.
-ANMERKUNGEN
- Seit Version 3.2@232 ist write_bytes() in der Lage, Zeichen
- aus <str> ans File <file> anzuhaengen.
+ Note: since version 3.2@232, write_bytes() is able to append
+ to the file.
-SIEHE AUCH
+SEE ALSO
save_object(E), write_file(E)