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)