projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 34cf976)
Rm'ing doc from SUBDIRS
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 18 Feb 2010 21:29:17 +0000 (21:29 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 18 Feb 2010 21:29:17 +0000 (21:29 +0000)
Makefile.am patch | blob | history

diff --git a/Makefile.am b/Makefile.am
index 6f6149859c9a2607d1b36f435585450879f7316b..6f077bb47011f092fcdef816aec0839e9e38ec80 100644 (file)
--- 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: