diff options
| author | Craig Jennings <c@cjennings.net> | 2025-08-14 22:58:58 -0500 |
|---|---|---|
| committer | Craig Jennings <c@cjennings.net> | 2025-08-14 22:58:58 -0500 |
| commit | 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 (patch) | |
| tree | 158cfc17b2f644a10f063cb546752cfaae12c97f /devdocs/bash/sharing-defaults.html | |
| parent | 9278ddd4ea1a8b1a4c1edaa8894516e3f48d245b (diff) | |
| download | dotemacs-82ba818ff456bcd6d56a06226e3f27e98fbb55c3.tar.gz dotemacs-82ba818ff456bcd6d56a06226e3f27e98fbb55c3.zip | |
removing all downloaded devdocs files
Diffstat (limited to 'devdocs/bash/sharing-defaults.html')
| -rw-r--r-- | devdocs/bash/sharing-defaults.html | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/devdocs/bash/sharing-defaults.html b/devdocs/bash/sharing-defaults.html deleted file mode 100644 index 88706604..00000000 --- a/devdocs/bash/sharing-defaults.html +++ /dev/null @@ -1,6 +0,0 @@ -<h1 class="section">Sharing Defaults</h1> <p>If you want to set default values for <code>configure</code> scripts to share, you can create a site shell script called <code>config.site</code> that gives default values for variables like <code>CC</code>, <code>cache_file</code>, and <code>prefix</code>. <code>configure</code> looks for <samp>PREFIX/share/config.site</samp> if it exists, then <samp>PREFIX/etc/config.site</samp> if it exists. Or, you can set the <code>CONFIG_SITE</code> environment variable to the location of the site script. A warning: the Bash <code>configure</code> looks for a site script, but not all <code>configure</code> scripts do. </p><div class="_attribution"> - <p class="_attribution-p"> - Copyright © 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/Sharing-Defaults.html" class="_attribution-link">https://www.gnu.org/software/bash/manual/html_node/Sharing-Defaults.html</a> - </p> -</div> |