Update doc/efun/ aus Driversourcen.
Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.
Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/rename_object b/doc/efun/rename_object
index bbde744..45a777e 100644
--- a/doc/efun/rename_object
+++ b/doc/efun/rename_object
@@ -1,14 +1,13 @@
-GESCHUETZT
SYNOPSIS
- void rename_object(object obj, string neuer_name)
+ void rename_object(object ob, string new_name)
-BESCHREIBUNG
- Gibt dem Objekt <obj> einen neuen Namen <neuer_name> und verursacht
- eine Schutzverletzung (einen Fehler). <neuer_name> darf kein #
- enthalten, ausser am Ende, um Verwirrung mit Clones zu vermeiden.
+DESCRIPTION
+ Give the object <ob> a new object name <new_name>. Causes a privilege
+ violation. The new name must not contain a # character, except
+ at the end, to avoid confusion with clone numbers.
-GESCHICHTE
- Eingefuehrt in 3.2@55.
+HISTORY
+ Introduced in 3.2@55.
-SIEHE AUCH
- creator(E), object_name(E), load_name(E)
+SEE ALSO
+ creator(E), object_name(E), load_name(E).