From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/bash/operation-controls.html | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 devdocs/bash/operation-controls.html (limited to 'devdocs/bash/operation-controls.html') diff --git a/devdocs/bash/operation-controls.html b/devdocs/bash/operation-controls.html deleted file mode 100644 index 188425f2..00000000 --- a/devdocs/bash/operation-controls.html +++ /dev/null @@ -1,10 +0,0 @@ -

Operation Controls

configure recognizes the following options to control how it operates.

--cache-file=file
-

Use and save the results of the tests in file instead of ./config.cache. Set file to /dev/null to disable caching, for debugging configure.

--help
-

Print a summary of the options to configure, and exit.

--quiet
--silent
-q
-

Do not print messages saying which checks are being made.

--srcdir=dir
-

Look for the Bash source code in directory dir. Usually configure can determine that directory automatically.

--version

Print the version of Autoconf used to generate the configure script, and exit.

configure also accepts some other, not widely used, boilerplate options. ‘configure --help’ prints the complete list.

-

- Copyright © 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.
Licensed under the GNU Free Documentation License.
- https://www.gnu.org/software/bash/manual/html_node/Operation-Controls.html -

-
-- cgit v1.2.3