Merge branch 'topic/vadim/gnatdoc-exe-rename' into 'master'

Rename gnatdoc4 to gnatdoc. See merge request eng/ide/gnatdoc!87
AdaCore · Sep 13, 2023 · 1ac26ee · 1ac26ee
2 parents dd555c3 + 6b25c75
commit 1ac26ee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -2,7 +2,7 @@
 all: clean run
 
 run:
-	../../bin/gnatdoc4 test.gpr
+	../../bin/gnatdoc test.gpr
 	test -d .docs
 
 clean: