From 6b25c757140b8ff019530df717bd48f271243b18 Mon Sep 17 00:00:00 2001
From: Vadim Godunko <godunko@adacore.com>
Date: Wed, 13 Sep 2023 14:18:46 +0400
Subject: [PATCH] Rename gnatdoc4 to gnatdoc.

---
 gnat/gnatdoc.gpr                             | 2 +-
 testsuite/gnatdoc.RB16-013.gpr_tool/Makefile | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnat/gnatdoc.gpr b/gnat/gnatdoc.gpr
index 53d8c8c..2380011 100644
--- a/gnat/gnatdoc.gpr
+++ b/gnat/gnatdoc.gpr
@@ -37,7 +37,7 @@ project GNATdoc is
    end Compiler;
 
    package Builder is
-      for Executable ("gnatdoc-driver.adb") use "gnatdoc4";
+      for Executable ("gnatdoc-driver.adb") use "gnatdoc";
    end Builder;
 
 end GNATdoc;
diff --git a/testsuite/gnatdoc.RB16-013.gpr_tool/Makefile b/testsuite/gnatdoc.RB16-013.gpr_tool/Makefile
index 8868e89..1c9d46a 100644
--- a/testsuite/gnatdoc.RB16-013.gpr_tool/Makefile
+++ b/testsuite/gnatdoc.RB16-013.gpr_tool/Makefile
@@ -2,7 +2,7 @@
 all: clean run
 
 run:
-	../../bin/gnatdoc4 test.gpr
+	../../bin/gnatdoc test.gpr
 	test -d .docs
 
 clean: