Update von efun-Manpages aus Driversourcen.
Aktualisiert manpages, welche wenig oder nicht vom
MG modifizier wurden.
Change-Id: If70b4fc27cfd38cb9e98cb48328a48731969a76f
diff --git a/doc/efun/write_bytes b/doc/efun/write_bytes
index bb75484..b8b6b0a 100644
--- a/doc/efun/write_bytes
+++ b/doc/efun/write_bytes
@@ -1,11 +1,15 @@
SYNOPSIS
- int write_bytes(string file, int start, string str);
+ int write_bytes(string file, int start, bytes str)
BESCHREIBUNG
- Schreibt den String <str> ins File <file> und ueberschreibt dabei die
+ 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.
+ANMERKUNGEN
+ Seit Version 3.2@232 ist write_bytes() in der Lage, Zeichen
+ aus <str> ans File <file> anzuhaengen.
+
SIEHE AUCH
save_object(E), write_file(E)