From a1018dba6be139d5d1117d53ba994201c0329c62 Mon Sep 17 00:00:00 2001
From: Antonin Delpeuch <antonin@delpeuch.eu>
Date: Thu, 7 Sep 2017 11:37:37 +0100
Subject: [PATCH] Fix extensions/build.xml

---
 extensions/build.xml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/extensions/build.xml b/extensions/build.xml
index 2b39b8b9b..67839a2bd 100644
--- a/extensions/build.xml
+++ b/extensions/build.xml
@@ -15,7 +15,6 @@
     <ant dir="pc-axis/" target="build" />
     <ant dir="database/" target="build" />
     <ant dir="wikidata/" target="build" />
-    <ant dir="rdf-extension/" target="build" />
   </target>
 
   <target name="clean">
@@ -26,7 +25,6 @@
     <ant dir="pc-axis/" target="clean" />
     <ant dir="database/" target="clean" />
     <ant dir="wikidata/" target="clean" />
-    <ant dir="rdf-extension/" target="clean" />
   </target>
 
   <target name="test">