X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fgetopt;h=5d4f3c4989092e3b14d8cf6060db3526c6a2ebcd;hb=61f306ae4b4106d8bf0104c57ef96acac8397e16;hp=402e6765f85399285622ef345e8403e87645f665;hpb=a0c6d64df03b9dbbe9515d47f72f5639174abc80;p=pspp

diff --git a/modules/getopt b/modules/getopt
index 402e6765f8..5d4f3c4989 100644
--- a/modules/getopt
+++ b/modules/getopt
@@ -2,10 +2,10 @@ Description:
 Process command line arguments.
 
 Status:
-obsolete
+deprecated
 
 Notice:
-This module is obsolete. Use the module 'getopt-posix' or 'getopt-gnu' instead.
+This module is deprecated. Use the module 'getopt-posix' or 'getopt-gnu' instead.
 
 Files: