removing all downloaded devdocs files

1 files changed, 0 insertions, 10 deletions

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 @@
-<h1 class="section">Operation Controls</h1> <p><code>configure</code> recognizes the following options to control how it operates. </p> <dl compact> <dt><span><code>--cache-file=<var>file</var></code></span></dt> <dd>
-<p>Use and save the results of the tests in <var>file</var> instead of <samp>./config.cache</samp>. Set <var>file</var> to <samp>/dev/null</samp> to disable caching, for debugging <code>configure</code>. </p> </dd> <dt><span><code>--help</code></span></dt> <dd>
-<p>Print a summary of the options to <code>configure</code>, and exit. </p> </dd> <dt><span><code>--quiet</code></span></dt> <dt><span><code>--silent</code></span></dt> <dt><span><code>-q</code></span></dt> <dd>
-<p>Do not print messages saying which checks are being made. </p> </dd> <dt><span><code>--srcdir=<var>dir</var></code></span></dt> <dd>
-<p>Look for the Bash source code in directory <var>dir</var>. Usually <code>configure</code> can determine that directory automatically. </p> </dd> <dt><span><code>--version</code></span></dt> <dd><p>Print the version of Autoconf used to generate the <code>configure</code> script, and exit. </p></dd> </dl> <p><code>configure</code> also accepts some other, not widely used, boilerplate options. ‘<samp>configure --help</samp>’ prints the complete list. </p><div class="_attribution">
-  <p class="_attribution-p">
-    Copyright &copy; 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.<br>Licensed under the GNU Free Documentation License.<br>
-    <a href="https://www.gnu.org/software/bash/manual/html_node/Operation-Controls.html" class="_attribution-link">https://www.gnu.org/software/bash/manual/html_node/Operation-Controls.html</a>
-  </p>
-</div>