From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 8 Nov 2012 22:16:26 +0000 (+0000)
Subject: fix "make distcheck"
X-Git-Tag: cvc5-1.0.0~7638
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=44ac537312dcba8fc179f5ea9489e8cd7266f71c;p=cvc5.git

fix "make distcheck"
---

diff --git a/Makefile.am b/Makefile.am
index 2bcd4787f..efa4a068a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -136,13 +136,8 @@ doc/pcvc4.1: doc/cvc4.1
 #
 # The Makefile also can't go in EXTRA_DIST, because then automake thinks
 # it's the one in the builddir and we want the one from the srcdir.
-dist-hook:
-	cp -p \
-		doc/cvc4.1 \
-		doc/libcvc4.3 \
-		doc/SmtEngine.3cvc \
-		doc/options.3cvc \
-		"$(distdir)/doc"
+dist-hook: doc/cvc4.1 doc/libcvc4.3 doc/SmtEngine.3cvc doc/options.3cvc
+	cp -p $^ "$(distdir)/doc"
 	cp -p "$(srcdir)/Makefile" "$(distdir)/Makefile"
 
 distclean-local: