Rename GNATdoc executable file.

godunko · godunko · commit fad3817348de · 2023-09-27T17:20:04.000+04:00
diff --git a/docs/gtkada_rm/Makefile b/docs/gtkada_rm/Makefile
@@ -6,7 +6,7 @@ gtkada_rm: docgen docgen_clean
 docgen:
 	$(MKDIR) gtkada_rm
 	$(MKDIR) doc_obj
-	gnatdoc -Pgtkada_documentation.gpr --enable-build
+	gnatdoc3 -Pgtkada_documentation.gpr --enable-build
 
 docgen_clean:
 	$(RM) -rf doc_obj/*
