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/gnu_make/temporary-files.html | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 devdocs/gnu_make/temporary-files.html (limited to 'devdocs/gnu_make/temporary-files.html') diff --git a/devdocs/gnu_make/temporary-files.html b/devdocs/gnu_make/temporary-files.html deleted file mode 100644 index 7c0de6ec..00000000 --- a/devdocs/gnu_make/temporary-files.html +++ /dev/null @@ -1,6 +0,0 @@ -

Temporary Files

In some situations, make will need to create its own temporary files. These files must not be disturbed while make is running, including all recursively-invoked instances of make.

If the environment variable MAKE_TMPDIR is set then all temporary files created by make will be placed there.

If MAKE_TMPDIR is not set, then the standard location for temporary files for the current operating system will be used. For POSIX systems this will be the location set in the TMPDIR environment variable, or else the system’s default location (e.g., /tmp) is used. On Windows, first TMP then TEMP will be checked, then TMPDIR, and finally the system default temporary file location will be used.

Note that this directory must already exist or make will fail: make will not attempt to create it.

These variables cannot be set from within a makefile: GNU make must have access to this location before it begins reading the makefiles.

-

- Copyright © 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022 Free Software Foundation, Inc.
Licensed under the GNU Free Documentation License.
- https://www.gnu.org/software/make/manual/html_node/Temporary-Files.html -

-
-- cgit v1.2.3