Fix javadoc generation after search.core being split

Continuation of eclipse-platform/eclipse.platform.ui#1105
jarthana · Sep 14, 2023 · 725cacd · 725cacd
1 parent 1a1c2d7
commit 725cacd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/eclipse.platform.common/bundles/org.eclipse.platform.doc.isv/platformOptions.txt b/eclipse.platform.common/bundles/org.eclipse.platform.doc.isv/platformOptions.txt
@@ -57,6 +57,7 @@
 ;${eclipse.platform.ui.bundles}/org.eclipse.core.filebuffers/src
 ;${eclipse.platform.ui.bundles}/org.eclipse.jface.text/projection
 ;${eclipse.platform.ui.bundles}/org.eclipse.jface.text/src
+;${eclipse.platform.ui.bundles}/org.eclipse.search.core/search
 ;${eclipse.platform.ui.bundles}/org.eclipse.search/new search
 ;${eclipse.platform.ui.bundles}/org.eclipse.search/search
 ;${eclipse.platform.ui.bundles}/org.eclipse.text/projection