From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Wed, 17 Nov 2021 01:18:46 +0000 (-0800)
Subject: Remove documentation for --lib-only (#7648)
X-Git-Tag: cvc5-1.0.0~811
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=64fc027773dff00ec8d935949e938679f1e39cf6;p=cvc5.git

Remove documentation for --lib-only (#7648)

The feature was removed in #7258.
---

diff --git a/configure.sh b/configure.sh
index 319af54c5..970df2e61 100755
--- a/configure.sh
+++ b/configure.sh
@@ -67,10 +67,6 @@ Optional Path to Optional Packages:
   --glpk-dir=PATH          path to top level of GLPK installation
   --dep-path=PATH          path to a dependency installation dir
 
-Build limitations:
-  --lib-only               only build the library, but not the executable or
-                           the parser (default: off)
-
 CMake Options (Advanced)
   -DVAR=VALUE              manually add CMake options