From e501167fc92c30bdfe636100147859be5550a5cd Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Fri, 29 Jul 2022 11:09:00 +0200
Subject: gnulib-tool.py: Fix error in Ubuntu 22.04.

* gnulib-tool.py: Search for python3 in $PATH.
---
 ChangeLog      | 5 +++++
 gnulib-tool.py | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 0489cc05b3..0a458a5856 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-07-29  Bruno Haible  <bruno@clisp.org>
+
+	gnulib-tool.py: Fix error in Ubuntu 22.04.
+	* gnulib-tool.py: Search for python3 in $PATH.
+
 2022-07-25  Bruno Haible  <bruno@clisp.org>
 
 	bootstrap: Make the automatic sync more resilient.
diff --git a/gnulib-tool.py b/gnulib-tool.py
index 0e5a33bf6e..f81501b9c0 100755
--- a/gnulib-tool.py
+++ b/gnulib-tool.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 #
 # Copyright (C) 2002-2022 Free Software Foundation, Inc.
 #
-- 
cgit v1.2.1