diff --git a/doc/efun/export_uid b/doc/obsolete/export_uid
similarity index 88%
rename from doc/efun/export_uid
rename to doc/obsolete/export_uid
index 5b1f6a3..2c4ed88 100644
--- a/doc/efun/export_uid
+++ b/doc/obsolete/export_uid
@@ -5,8 +5,6 @@
         Set the uid of object ob to the current object's effective uid.
         It is only possible when object ob has an effective uid of 0.
 
-        This efun is not available in Morgengrauen.
-
 HISTORY
         Since 3.2.1@47, this efun is availabe only when using euids.
         Since 3.2.7, this efun is always available.