Fix javadoc build

Needed due to changes in eclipse-platform/eclipse.platform.ui#323
eclipse-platform · Sep 23, 2022 · da87a19 · da87a19
1 parent f9f5448
commit da87a19
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bundles/org.eclipse.platform.doc.isv/platformOptions.txt b/bundles/org.eclipse.platform.doc.isv/platformOptions.txt
@@ -469,7 +469,7 @@ org.eclipse.ui.console
 org.eclipse.ui.console.actions
 org.eclipse.ui.contentassist
 org.eclipse.ui.contexts
-org.eclipse.ui.databinding
+org.eclipse.ui.databinding.typed
 org.eclipse.ui.dialogs
 org.eclipse.ui.dnd
 org.eclipse.ui.editors.text