Use releaseName and releaseNumber in platform javadoc

Instead of having to edit it manually for each release
eclipse-platform · Jan 14, 2024 · c58be0a · c58be0a
1 parent 3028587
commit c58be0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eclipse.platform.common/bundles/org.eclipse.platform.doc.isv/pom.xml b/eclipse.platform.common/bundles/org.eclipse.platform.doc.isv/pom.xml
@@ -486,7 +486,7 @@
                         <excludePackageNames>*.internal.*</excludePackageNames>
                         <windowtitle>Eclipse Platform API Specification</windowtitle>
                         <doctitle>Eclipse Platform API Specification</doctitle>
-                        <header><![CDATA[<span style='font-size:small'><b>Eclipse Platform</b><br>2023-12 (4.30)</span>]]></header>
+                        <header><![CDATA[<span style='font-size:small'><b>Eclipse Platform</b><br>${releaseName} (${releaseNumberSDK})</span>]]></header>
                         <bottom><![CDATA[<br><span style='font-size:small;float:right'>Copyright (c) 2000, 2023 Eclipse Contributors and others. All rights reserved.</span><span style='font-size:small'><a href='{@docRoot}/../misc/api-usage-rules.html'>Guidelines for using Eclipse APIs.</a></span>]]></bottom>
                         <sourcepath>;${eclipse.platform.ui.bundles}/org.eclipse.ltk.core.refactoring/src
                                 ;${eclipse.platform.ui.bundles}/org.eclipse.ltk.ui.refactoring/src