Move JDT javadoc build from ant to maven

eclipse-platform · Dec 12, 2023 · d16d19c · d16d19c
1 parent a6e3d9b
commit d16d19c
Show file tree

Hide file tree

Showing 7 changed files with 153 additions and 237 deletions.
diff --git a/eclipse-platform-parent/pom.xml b/eclipse-platform-parent/pom.xml
@@ -687,6 +687,16 @@
                         <placement>a</placement>
                         <head>Implementation Requirements:</head>
                     </tag>
+                    <tag>
+                        <name>category</name>
+                        <placement>a</placement>
+                        <head>Category:</head>
+                    </tag>
+                    <tag>
+                        <name>provisional</name>
+                        <placement>a</placement>
+                        <head>Provisional:</head>
+                    </tag>
                 </tags>
                 <!-- These are provided by PDE/Tycho by default but javadoc do not know that ... -->
                 <additionalDependencies>

diff --git a/eclipse.platform.common/bundles/org.eclipse.jdt.doc.isv/buildDoc.xml b/eclipse.platform.common/bundles/org.eclipse.jdt.doc.isv/buildDoc.xml