From 44ac537312dcba8fc179f5ea9489e8cd7266f71c Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 8 Nov 2012 22:16:26 +0000 Subject: [PATCH] fix "make distcheck" --- Makefile.am | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) 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: -- 2.30.2