[tomcat] branch 8.5.x updated: Correct Servlet spec version in Javadoc menu

[ma...@apache.org]

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

markt pushed a commit to branch 8.5.x
in repository https://gitbox.apache.org/repos/asf/tomcat.git


The following commit(s) were added to refs/heads/8.5.x by this push:
     new 58dd34d352 Correct Servlet spec version in Javadoc menu
58dd34d352 is described below

commit 58dd34d352aa4d77315413ce45a2ef94623e2667
Author: Mark Thomas <ma...@apache.org>
AuthorDate: Thu Jun 8 10:22:25 2023 +0100

    Correct Servlet spec version in Javadoc menu
---
 webapps/docs/project.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webapps/docs/project.xml b/webapps/docs/project.xml
index 76a71d8448..c1278137e5 100644
--- a/webapps/docs/project.xml
+++ b/webapps/docs/project.xml
@@ -82,7 +82,7 @@
         <item name="Release Notes"         href="RELEASE-NOTES.txt"/>
         <item name="Configuration"         href="config/index.html"/>
         <item name="Tomcat Javadocs"       href="api/index.html"/>
-        <item name="Servlet 4.0 Javadocs"  href="servletapi/index.html"/>
+        <item name="Servlet 3.1 Javadocs"  href="servletapi/index.html"/>
         <item name="JSP 2.3 Javadocs"      href="jspapi/index.html"/>
         <item name="EL 3.0 Javadocs"       href="elapi/index.html"/>
         <item name="WebSocket 1.1 Javadocs"


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