diff --git a/.gitignore b/.gitignore
index bcc069bd7d39cfa9c7f5f3d3923343eb0aefc123..ce254b76353f94069f5ba8135754f818f3bdf290 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,5 +9,4 @@ pom.xml
 updatesite/
 **/lib/dependencies/
 de.prob.core/prob/
-build/
-de.prob.repository/category.xml
\ No newline at end of file
+build/
\ No newline at end of file
diff --git a/build.gradle b/build.gradle
index 30045a4d42ef9405d4c8f4313c250d86ae97e542..c0d0efe936d23800ff5c7b86c7e76190885c5f2a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -10,21 +10,6 @@ project.ext {
 	]
 
 	groupID = "de.prob"
-
-	categoryId = "de.prob2.feature.category"
-	categoryLabel = "ProB for Rodin"
-	// When editing the description here,
-	// also update the descriptions in all feature.xml files!
-	categoryDescription = """\
-	ProB is an animator and model checker for the B-Method. It allows
-	fully automatic animation of many B specifications, and can be
-	used to systematically check a specification for errors.
-	Part of the research and development was conducted within the
-	EPSRC funded projects ABCD and iMoc, and within the EU funded
-	projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
-	ProB has been successfully used on various industrial specifications
-	and is now being used e.g. within Siemens, Alstom, Thales and ClearSy.
-	""".stripIndent()
 }
 
 apply from: 'tycho_build.gradle'
diff --git a/de.prob.repository/category.xml b/de.prob.repository/category.xml
new file mode 100644
index 0000000000000000000000000000000000000000..c4aa4d78350a3dc5be190fbf32415b8847478e74
--- /dev/null
+++ b/de.prob.repository/category.xml
@@ -0,0 +1,30 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<site>
+
+	<feature id="de.prob2.disprover.feature" version="0.0.0">
+		<category name="de.prob2.feature.category"/>
+	</feature>
+
+	<feature id="de.prob2.feature" version="0.0.0">
+		<category name="de.prob2.feature.category"/>
+	</feature>
+
+	<feature id="de.prob2.symbolic.feature" version="0.0.0">
+		<category name="de.prob2.feature.category"/>
+	</feature>
+
+	<category-def name="de.prob2.feature.category" label="ProB for Rodin">
+		<description>
+ProB is an animator and model checker for the B-Method. It allows
+fully automatic animation of many B specifications, and can be
+used to systematically check a specification for errors.
+Part of the research and development was conducted within the
+EPSRC funded projects ABCD and iMoc, and within the EU funded
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
+ProB has been successfully used on various industrial specifications
+and is now being used e.g. within Siemens, Alstom, Thales and ClearSy.
+
+		</description>
+	</category-def>
+
+</site>
diff --git a/tycho_build.gradle b/tycho_build.gradle
index 397f141a0484a932f7a0a5d3698e4f18e64dc63a..7fabe74f09d017faa8cb5a0d22e0e382f208f3c2 100644
--- a/tycho_build.gradle
+++ b/tycho_build.gradle
@@ -370,27 +370,7 @@ clean.dependsOn(deleteParent)
 // define Repository
 task createRepository() {
 	doLast{
-		new File(workspacePath + "${repositoryName}").mkdir()
-
-		String versionNumber = '1.0.0.qualifier'
-		String artifactId = repositoryName
-		String featureArtifactId
-		def f = new File(workspacePath + artifactId + '/category.xml')
-		f.delete()
-		f << categoryHead()
-		for (int i = 0; i < features.size(); i++) {
-			def parsedXml = new XmlParser().parse("${workspacePath}${features[i]}/feature.xml")
-
-			featureArtifactId  = parsedXml.attribute("id")
-
-			f << categoryFeature(categoryId, featureArtifactId.replace(workspacePath, ''))
-		}
-
-		f << categoryDef(categoryId, categoryLabel, categoryDescription)
-
-		f << categoryEnd()
-
-		def pom = new File(workspacePath + artifactId + '/pom.xml')
+		def pom = new File(workspacePath + repositoryName + '/pom.xml')
 		pom.delete()
 		pom << reposi()
 	}
@@ -565,31 +545,6 @@ def reposi() {"""\
 </project>
 """}
 
-// creates a category in
-def categoryHead() {"""\
-<?xml version="1.0" encoding="UTF-8"?>
-<site>
-"""}
-
-def categoryFeature(category, artifactId) {"""
-	<feature id="${artifactId}" version="0.0.0">
-		<category name="${category}"/>
-	</feature>
-"""}
-
-def categoryDef(id, label, categorydescription) {"""
-	<category-def name="${id}" label="${label}">
-		<description>
-${categorydescription}
-		</description>
-	</category-def>
-"""}
-
-def categoryEnd() {"""
-</site>
-"""}
-// end of category definition
-
 // feature pom
 def feature(artifactId, versionNumber) {"""\
 <?xml version="1.0" encoding="UTF-8"?>