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.am | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index 03b2f125..7307122d 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -73,8 +73,7 @@ OA_SRC_TARGETS = \
 	all-driver \
 	all-databases \
 	all-utils \
-	all-rt \
-	all-syntax
+	all-rt
 
 .PHONY: $(OA_SRC_TARGETS)
 
-- 
cgit v1.2.3