Update von efun-Manpages aus Driversourcen.

Aktualisiert manpages, welche wenig oder nicht vom
MG modifizier wurden.

Change-Id: If70b4fc27cfd38cb9e98cb48328a48731969a76f
diff --git a/doc/efun/printf b/doc/efun/printf
index d58233b..f0e1eda 100644
--- a/doc/efun/printf
+++ b/doc/efun/printf
@@ -1,5 +1,5 @@
 SYNOPSIS
-        void printf(string format, ...);
+        void printf(string format, ...)
 
 BESCHREIBUNG
         Eine Mischung aus sprintf() und write(). Gibt void zurueck und den