From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 9 Nov 2012 17:39:05 +0000 (+0000)
Subject: another DISTCLEANFILES entry, for proper "make distclean" behavior (fixes "distclean... 
X-Git-Tag: cvc5-1.0.0~7635
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d11716a24a2b70b7c3681e52de51bd622c4f6447;p=cvc5.git

another DISTCLEANFILES entry, for proper "make distclean" behavior (fixes "distclean" target error last night)
---

diff --git a/Makefile.am b/Makefile.am
index efa4a068a..5ddde3cad 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -147,6 +147,7 @@ distclean-local:
 DISTCLEANFILES = \
 	doc/cvc4.1 \
 	doc/cvc4.1_template \
+	doc/pcvc4.1 \
 	doc/cvc4.5 \
 	doc/libcvc4.3 \
 	doc/libcvc4.3_template \