From 87ce3e64a9cffec5618f43999ea5a17f48165e88 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 16 Nov 2014 21:53:40 +0000
Subject: Remove src/syntax Makefiles; make part of libOpenAxiom

---
 Makefile.in | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Makefile.in')

diff --git a/Makefile.in b/Makefile.in
index 26a8b770..ef3d6a6b 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -509,8 +509,7 @@ OA_SRC_TARGETS = \
 	all-driver \
 	all-databases \
 	all-utils \
-	all-rt \
-	all-syntax
+	all-rt
 
 all: all-recursive
 
-- 
cgit v1.2.3