diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-08 22:16:26 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-08 22:16:26 +0000 |
| commit | 44ac537312dcba8fc179f5ea9489e8cd7266f71c (patch) | |
| tree | 64708347d57c5cdecbd9c9ae7ed91e5226c6da09 | |
| parent | 72d6f5d9eb6c28a417b00524eff51ea38e37d985 (diff) | |
fix "make distcheck"
| -rw-r--r-- | Makefile.am | 9 |
1 files 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: |