projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 62e51d8)
fixes to "make distclean" and C compatibility bindings; should fix the broken builds...
authorMorgan Deters <mdeters@gmail.com>
Sat, 29 Sep 2012 13:53:01 +0000 (13:53 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 29 Sep 2012 13:53:01 +0000 (13:53 +0000)
Makefile.am patch | blob | history

diff --git a/Makefile.am b/Makefile.am
index fb3e979d91ba3185ed34043e0c58e6b9dab87ab1..eb527f8cce543a6758f5c320dc9d79197e817ae2 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -139,4 +139,8 @@ DISTCLEANFILES = \
        doc/libcvc4.3 \
        doc/libcvc4.3_template \
        doc/libcvc4compat.3 \
-       doc/libcvc4parser.3
+       doc/libcvc4parser.3 \
+       doc/SmtEngine.3cvc4 \
+       doc/SmtEngine.3cvc4_template \
+       doc/options.3cvc4 \
+       doc/options.3cvc4_template