From 90351f11da6c36184a3f6339ce066038459026a1 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 29 Sep 2012 13:53:01 +0000 Subject: [PATCH] fixes to "make distclean" and C compatibility bindings; should fix the broken builds last night --- Makefile.am | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 -- 2.30.2