From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Thu, 18 Feb 2010 21:29:17 +0000 (+0000)
Subject: Rm'ing doc from SUBDIRS
X-Git-Tag: cvc5-1.0.0~9245
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a377bee55e41ba9ceef3380742e536545299181c;p=cvc5.git

Rm'ing doc from SUBDIRS
---

diff --git a/Makefile.am b/Makefile.am
index 6f6149859..6f077bb47 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -5,7 +5,7 @@ AM_CXXFLAGS = -Wall
 AUTOMAKE_OPTIONS = foreign
 ACLOCAL_AMFLAGS = -I config
 
-SUBDIRS = src test doc contrib
+SUBDIRS = src test contrib
 
 .PHONY: regress0 regress1 regress2 regress3
 regress0 regress1 regress2 regress3: