From d11716a24a2b70b7c3681e52de51bd622c4f6447 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 9 Nov 2012 17:39:05 +0000 Subject: [PATCH] another DISTCLEANFILES entry, for proper "make distclean" behavior (fixes "distclean" target error last night) --- Makefile.am | 1 + 1 file changed, 1 insertion(+) 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 \ -- 2.30.2