projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22586fb) | patch
Remove doc/libcvc4.3 from options/Makefile.am. (#1696)
authorMathias Preiner <mathias.preiner@gmail.com>
Sun, 25 Mar 2018 06:38:34 +0000 (23:38 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Sun, 25 Mar 2018 06:38:34 +0000 (23:38 -0700)
commit9e9e6b8777047160ef7a1f2708a295aa503eb856
tree032a6be349042de48aa470d8f4e7d9e953a88dd5tree
parent22586fb55f88ea964c723716af9ea43cf3f93c87commit | diff
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 diff | blob | history