From 13a6669a35aee32c03f8d29fe386aca95d2fbd8f Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 12 Nov 2009 20:38:10 +0000 Subject: parser, minisat, other things.. --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.am') diff --git a/Makefile.am b/Makefile.am index b224de9b0..451ef0e3a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,4 +1,4 @@ AUTOMAKE_OPTIONS = foreign -ACLOCAL_AMFLAGS = -I m4 +ACLOCAL_AMFLAGS = -I config SUBDIRS = src doc contrib -- cgit v1.2.3