From 9e9e6b8777047160ef7a1f2708a295aa503eb856 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Sat, 24 Mar 2018 23:38:34 -0700 Subject: [PATCH] Remove doc/libcvc4.3 from options/Makefile.am. (#1696) This commit fixes an issue with calling make clean && make. The final doc/libcvc4.3 is now generated during ./autogen.sh and should not be deleted with make clean. --- src/options/Makefile.am | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/options/Makefile.am b/src/options/Makefile.am index 723b110ea..edcc9eb9c 100644 --- a/src/options/Makefile.am +++ b/src/options/Makefile.am @@ -120,7 +120,6 @@ CLEANFILES = \ $(OPTIONS_GEN_H) \ $(OPTIONS_GEN_CPP) \ $(DOCUMENTATION_FILES) \ - ../../doc/libcvc4.3 \ options_holder.h @@ -132,7 +131,6 @@ EXTRA_DIST = \ $(OPTIONS_CONFIG_FILES) \ $(CPP_TEMPLATE_FILES) \ $(DOCUMENTATION_FILES) \ - ../../doc/libcvc4.3 \ mkoptions.py \ language.i \ option_exception.i \ -- 2.30.2