Update von efun-Manpages aus Driversourcen.

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

Change-Id: If70b4fc27cfd38cb9e98cb48328a48731969a76f
diff --git a/doc/efun/users b/doc/efun/users
index 48b4ae3..05ec115 100644
--- a/doc/efun/users
+++ b/doc/efun/users
@@ -1,5 +1,5 @@
 SYNOPSIS
-        *object users();
+        object * object users()
 
 BESCHREIBUNG
         Liefert ein Array, das alle interaktiven Benutzer enthaelt.