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

Integrating GNU make

GNU make is often one component in a larger system of tools, including integrated development environments, compiler toolchains, and others. The role of make is to start commands and determine whether they succeeded or not: no special integration is needed to accomplish that. However, sometimes it is convenient to bind make more tightly with other parts of the system, both higher-level (tools that invoke make) and lower-level (tools that make invokes).

- - - - - - - -
-

- 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/Integrating-make.html -

-
-- cgit v1.2.3