diff options
| -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 |