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 /Makefile.am | |
| parent | 62e51d870facff46ce382ddaa8216be2737d1c45 (diff) | |
fixes to "make distclean" and C compatibility bindings; should fix the broken builds last night
Diffstat (limited to 'Makefile.am')
| -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 |