From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sun, 25 Mar 2018 06:38:34 +0000 (-0700)
Subject: Remove doc/libcvc4.3 from options/Makefile.am. (#1696)
X-Git-Tag: cvc5-1.0.0~5214
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9e9e6b8777047160ef7a1f2708a295aa503eb856;p=cvc5.git

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.
---

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 \