>From 0abc38bd2a1398f02d79e6a94c7785cab7ff36c2 Mon Sep 17 00:00:00 2001
From: Bruno Haible <address@hidden>
Date: Tue, 28 Apr 2020 01:29:16 +0200
Subject: [PATCH 3/9] getopt: Remove deprecated module.

* modules/getopt: Remove file.
* NEWS: Mention the removal.
---
 ChangeLog      |  6 ++++++
 NEWS           |  5 +++++
 modules/getopt | 26 --------------------------
 3 files changed, 11 insertions(+), 26 deletions(-)
 delete mode 100644 modules/getopt

diff --git a/ChangeLog b/ChangeLog
index 67d8957..17e6660 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2020-04-27  Bruno Haible  <address@hidden>
 
+	getopt: Remove deprecated module.
+	* modules/getopt: Remove file.
+	* NEWS: Mention the removal.
+
+2020-04-27  Bruno Haible  <address@hidden>
+
 	remove-dest-slash: Remove deprecated module.
 	* modules/rename-dest-slash: Remove file.
 	* MODULES.html.sh (Compatibility checks for POSIX:2008 functions):
diff --git a/NEWS b/NEWS
index 2cd5866..0d77075 100644
--- a/NEWS
+++ b/NEWS
@@ -58,6 +58,11 @@ User visible incompatible changes
 
 Date        Modules         Changes
 
+2020-04-27  getopt          This deprecated module is removed. Please choose
+                            among getopt-posix and getopt-gnu. getopt-gnu
+                            provides "long options" and "options with optional
+                            arguments", getopt-posix doesn't.
+
 2020-04-27  rename-dest-slash  This deprecated module is removed. Use the
                                module 'rename' instead.
 
diff --git a/modules/getopt b/modules/getopt
deleted file mode 100644
index 53c844d..0000000
--- a/modules/getopt
+++ /dev/null
@@ -1,26 +0,0 @@
-Description:
-Process command line arguments.
-
-Status:
-deprecated
-
-Notice:
-This module is deprecated. Use the module 'getopt-posix' or 'getopt-gnu' instead.
-
-Files:
-
-Depends-on:
-getopt-gnu
-
-configure.ac:
-
-Makefile.am:
-
-Include:
-<getopt.h> or <unistd.h>
-
-License:
-LGPL
-
-Maintainer:
-all, glibc
-- 
2.7.4