diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index efa4a068a..5ddde3cad 100644 --- a/Makefile.am +++ b/Makefile.am @@ -147,6 +147,7 @@ distclean-local: DISTCLEANFILES = \ doc/cvc4.1 \ doc/cvc4.1_template \ + doc/pcvc4.1 \ doc/cvc4.5 \ doc/libcvc4.3 \ doc/libcvc4.3_template \ |