Fix wrong project name

merks · merks · commit edd5b27da67a · 2025-12-22T15:33:31.000+01:00
diff --git a/docs/.project b/docs/.project
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-	<name>org.eclipse.pde.ui.docs</name>
+	<name>org.eclipse.platform.ui.docs</name>
 	<comment></comment>
 	<projects>
 	</projects>
