From 54106a3d34347a88c53096e08e678b4eb01c21b6 Mon Sep 17 00:00:00 2001
From: Ed Merks <ed.merks@gmail.com>
Date: Mon, 22 Dec 2025 15:32:29 +0100
Subject: [PATCH] Fix wrong project name

---
 docs/.project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/.project b/docs/.project
index 32c92cbc3d7..f254e19ba65 100644
--- 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>