diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-29 13:53:01 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-29 13:53:01 +0000 |
commit | 90351f11da6c36184a3f6339ce066038459026a1 (patch) | |
tree | f58dd252ab1a2f00fc91ed9293ff1e15106a76f7 | |
parent | 62e51d870facff46ce382ddaa8216be2737d1c45 (diff) |
fixes to "make distclean" and C compatibility bindings; should fix the broken builds last night
-rw-r--r-- | Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index fb3e979d9..eb527f8cc 100644 --- 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 |