projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cad60d9)
another DISTCLEANFILES entry, for proper "make distclean" behavior (fixes "distclean...
authorMorgan Deters <mdeters@gmail.com>
Fri, 9 Nov 2012 17:39:05 +0000 (17:39 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 9 Nov 2012 17:39:05 +0000 (17:39 +0000)
Makefile.am patch | blob | history

diff --git a/Makefile.am b/Makefile.am
index efa4a068ad11e605b9f4d0d614d3ead109c8dafc..5ddde3cadbb7e99e16937367027a352b175fda5d 100644 (file)
--- 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 \