X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Frename-dest-slash;h=e175761545ceaae7712835d486b783a2f90665ac;hb=61f306ae4b4106d8bf0104c57ef96acac8397e16;hp=f52b3b8d240b430b98c24120e6477c918a1898da;hpb=a0c6d64df03b9dbbe9515d47f72f5639174abc80;p=pspp

diff --git a/modules/rename-dest-slash b/modules/rename-dest-slash
index f52b3b8d24..e175761545 100644
--- a/modules/rename-dest-slash
+++ b/modules/rename-dest-slash
@@ -2,10 +2,10 @@ Description:
 rename() function: change the name or location of a file.
 
 Status:
-obsolete
+deprecated
 
 Notice:
-This module is obsolete; use the rename module instead.
+This module is deprecated. Use the 'rename' module instead.
 
 Files: