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

How to Run make

A makefile that says how to recompile a program can be used in more than one way. The simplest use is to recompile every file that is out of date. Usually, makefiles are written so that if you run make with no arguments, it does just that.

But you might want to update only some of the files; you might want to use a different compiler or different compiler options; you might want just to find out which files are out of date without changing them.

By giving arguments when you run make, you can do any of these things and many others.

The exit status of make is always one of three values:

-
0

The exit status is zero if make is successful.

2

The exit status is two if make encounters any errors. It will print messages describing the particular errors.

1

The exit status is one if you use the ‘-q’ flag and make determines that some target is not already up to date. See Instead of Executing Recipes.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

- 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/Running.html -

-
-- cgit v1.2.3