[ANNOUNCEMENT] GDB 8.2 released!

[Tom Tromey]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Eli> If you tell me what is the obvious patch, I will certainly try it.

Sorry about that.  It's appended

Tom

diff --git a/gdb/Makefile.in b/gdb/Makefile.in
index 3117bf74094..45f98327842 100644
--- a/gdb/Makefile.in
+++ b/gdb/Makefile.in
@@ -1767,7 +1767,7 @@ install-only: $(CONFIG_INSTALL)
 	else \
 	  true ; \
 	fi ; \
-	$(INSTALL_PROGRAM) $(srcdir)/contrib/gdb-add-index.sh \
+	$(INSTALL_SCRIPT) $(srcdir)/contrib/gdb-add-index.sh \
 		$(DESTDIR)$(bindir)/$$transformed_name$(EXEEXT)
 	@$(MAKE) DO=install "DODIRS=$(SUBDIRS)" $(FLAGS_TO_PASS) subdir_do