diff --git a/doc/org.eclipse.cdt.doc.user/build.xml b/doc/org.eclipse.cdt.doc.user/build.xml
deleted file mode 100644
index 1f9816e2f48..00000000000
--- a/doc/org.eclipse.cdt.doc.user/build.xml
+++ /dev/null
@@ -1,57 +0,0 @@
-
--
--
-
-
-
-
-
-
-
--
-
-
-
--
-
-
-
-
-
--
-
-
--
-
-
-
-
-
-
-
--
-
-
-
-
--
-
-
--
-
-
-
-
--
-
-
--
-
-
--
-
-
-
-
-
-
\ No newline at end of file
diff --git a/doc/org.eclipse.cdt.doc.user/plugin.xml b/doc/org.eclipse.cdt.doc.user/plugin.xml
index 6101a232d27..d00aa02809e 100644
--- a/doc/org.eclipse.cdt.doc.user/plugin.xml
+++ b/doc/org.eclipse.cdt.doc.user/plugin.xml
@@ -1,4 +1,5 @@
+