diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-16 19:00:31 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-16 19:00:31 +0000 |
commit | 1f8da4ffd0887a095994392087d76f376ac006d2 (patch) | |
tree | e1c94f40b721bf386eaa791de5cd9a13b0b2966a /Makefile.am | |
parent | 5ad6726028477de6059a0af83b8870d9d524a7ac (diff) |
now passes "make distcheck", which does important checks for the release (e.g., "make dist" produces a distribution that passes "make dist" and "make check", "make uninstall" actually uninstalls, "make distclean" actually cleans, ...)
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index b72c71031..b3cd37e9a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -126,3 +126,11 @@ dist-hook: distclean-local: test -z "$(DX_DOCDIR)" || rm -fr "$(DX_DOCDIR)" + +# these have .in versions +DISTCLEANFILES = \ + doc/cvc4.1 \ + doc/cvc4.5 \ + doc/libcvc4.3 \ + doc/libcvc4compat.3 \ + doc/libcvc4parser.3 |