From 64fc027773dff00ec8d935949e938679f1e39cf6 Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Tue, 16 Nov 2021 17:18:46 -0800
Subject: [PATCH] Remove documentation for --lib-only (#7648)

The feature was removed in #7258.
---
 configure.sh | 4 ----
 1 file changed, 4 deletions(-)

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