>From 13af1a0d8a0bb1028bd4a1276c8da2d68db78367 Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Sat, 6 Aug 2022 00:14:02 +0200
Subject: [PATCH 08/12] gnulib-tool.py: Implement option --no-libtool.

* gnulib-tool.py (main): Accept option --no-libtool.
---
 ChangeLog           |  3 +++
 gnulib-tool.py      | 10 +++++++---
 gnulib-tool.py.TODO |  1 -
 3 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 4301d9c847..652600a45a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2022-08-05  Bruno Haible  <bruno@clisp.org>
 
+	gnulib-tool.py: Implement option --no-libtool.
+	* gnulib-tool.py (main): Accept option --no-libtool.
+
 	gnulib-tool.py: Remove redundant type checks.
 	* pygnulib/GLConfig.py (GLConfig.__init__): Remove redundant type
 	checks, left over from 2022-08-04.
diff --git a/gnulib-tool.py b/gnulib-tool.py
index 9c63f6147f..f11c7bd5cb 100755
--- a/gnulib-tool.py
+++ b/gnulib-tool.py
@@ -319,10 +319,14 @@ def main():
                         default=None,
                         nargs=1)
     # libtool
-    parser.add_argument("--libtool",
-                        dest=libtool,
-                        default=False,
+    parser.add_argument('--libtool',
+                        dest='libtool',
+                        default=None,
                         action="store_true")
+    parser.add_argument('--no-libtool',
+                        dest='libtool',
+                        default=None,
+                        action="store_false")
     # libname
     parser.add_argument('--lib',
                         dest='libname',
diff --git a/gnulib-tool.py.TODO b/gnulib-tool.py.TODO
index de3a90dc37..6787e88df2 100644
--- a/gnulib-tool.py.TODO
+++ b/gnulib-tool.py.TODO
@@ -29,7 +29,6 @@ Implement the options:
   --gnu-make
   --tests-makefile-name
   --automake-subdir
-  --no-libtool
   --macro-prefix
   --po-domain
   --witness-c-macro
-- 
2.34.1