Update doc/efun/ aus Driversourcen.
Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.
Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/printf b/doc/efun/printf
index f0e1eda..8aea7fd 100644
--- a/doc/efun/printf
+++ b/doc/efun/printf
@@ -1,9 +1,9 @@
SYNOPSIS
void printf(string format, ...)
-BESCHREIBUNG
- Eine Mischung aus sprintf() und write(). Gibt void zurueck und den
- String an den Benutzer aus.
+DESCRIPTION
+ A cross between sprintf() and write(). Returns void and prints
+ the result string to the user.
-SIEHE AUCH
+SEE ALSO
sprintf(E), write(E), terminal_colour(E)