You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by re...@apache.org on 2021/01/20 15:59:04 UTC

[tomcat] branch master updated: Start using more general AOT acronym instead of Graal

This is an automated email from the ASF dual-hosted git repository.

remm pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/tomcat.git


The following commit(s) were added to refs/heads/master by this push:
     new 0fe5c6f  Start using more general AOT acronym instead of Graal
0fe5c6f is described below

commit 0fe5c6fab78178cdc80bfebc7a5ffc5c26d58a43
Author: remm <re...@apache.org>
AuthorDate: Wed Jan 20 16:58:38 2021 +0100

    Start using more general AOT acronym instead of Graal
    
    AOT compilation support could also come from OpenJDK eventually.
---
 webapps/docs/graal.xml   | 2 +-
 webapps/docs/project.xml | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/webapps/docs/graal.xml b/webapps/docs/graal.xml
index 67c5d83..f751d03 100644
--- a/webapps/docs/graal.xml
+++ b/webapps/docs/graal.xml
@@ -23,7 +23,7 @@
     &project;
 
   <properties>
-    <title>GraalVM support</title>
+    <title>Ahead of Time compilation support</title>
   </properties>
 
 <body>
diff --git a/webapps/docs/project.xml b/webapps/docs/project.xml
index eb1355c..6d79e69 100644
--- a/webapps/docs/project.xml
+++ b/webapps/docs/project.xml
@@ -75,7 +75,8 @@
         <item name="32) WebSocket"          href="web-socket-howto.html"/>
         <item name="33) Rewrite"            href="rewrite.html"/>
         <item name="34) CDI 2 and JAX-RS"   href="cdi.html"/>
-        <item name="35) GraalVM Support"    href="graal.html"/>
+        <item name="35) AOT/GraalVM Support"
+              href="graal.html"/>
     </menu>
 
     <menu name="Reference">


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org