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

The ‘--print-directory’ Option

If you use several levels of recursive make invocations, the ‘-w’ or ‘--print-directory’ option can make the output a lot easier to understand by showing each directory as make starts processing it and as make finishes processing it. For example, if ‘make -w’ is run in the directory /u/gnu/make, make will print a line of the form: 

make: Entering directory `/u/gnu/make'.
-
-

before doing anything else, and a line of the form: 

make: Leaving directory `/u/gnu/make'.
-
-

when processing is completed.

Normally, you do not need to specify this option because ‘make’ does it for you: ‘-w’ is turned on automatically when you use the ‘-C’ option, and in sub-makes. make will not automatically turn on ‘-w’ if you also use ‘-s’, which says to be silent, or if you use ‘--no-print-directory’ to explicitly disable it.

-

- 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/_002dw-Option.html -

-
-- cgit v1.2.3