From 1f8da4ffd0887a095994392087d76f376ac006d2 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 16 Jul 2012 19:00:31 +0000
Subject: now passes "make distcheck", which does important checks for the
 release (e.g., "make dist" produces a distribution that passes "make dist"
 and "make check", "make uninstall" actually uninstalls, "make distclean"
 actually cleans, ...)

---
 Makefile.am | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index b72c71031..b3cd37e9a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -126,3 +126,11 @@ dist-hook:
 
 distclean-local:
 	test -z "$(DX_DOCDIR)" || rm -fr "$(DX_DOCDIR)"
+
+# these have .in versions
+DISTCLEANFILES = \
+	doc/cvc4.1 \
+	doc/cvc4.5 \
+	doc/libcvc4.3 \
+	doc/libcvc4compat.3 \
+	doc/libcvc4parser.3
-- 
cgit v1.2.3