fix for tarball building (fixes debian and distcheck problems in nightly builds)

diff --git a/Makefile.am b/Makefile.am
index 40994452adda0f23e550dc1027139e653d4f39e5..4fe615286f9f2c65773609dc0dfa63c29242ae11 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -130,7 +130,19 @@ doc/pcvc4.1:
        rm -f doc/pcvc4.1
        $(LN_S) cvc4.1 doc/pcvc4.1
 
+# Can't put the first several in EXTRA_DIST because those are processed
+# *before* recursive "make dist", and these files are generated in a
+# subdirectory invocation of "make dist".
+#
+# 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"
        cp -p "$(srcdir)/Makefile" "$(distdir)/Makefile"
 
 distclean-local: