diff options
Diffstat (limited to 'devdocs/gnu_make/integrating-make.html')
| -rw-r--r-- | devdocs/gnu_make/integrating-make.html | 16 |
1 files changed, 0 insertions, 16 deletions
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 @@ - <h1 class="chapter">Integrating GNU make</h1> <p>GNU <code>make</code> is often one component in a larger system of tools, including integrated development environments, compiler toolchains, and others. The role of <code>make</code> 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 <code>make</code> more tightly with other parts of the system, both higher-level (tools that invoke <code>make</code>) and lower-level (tools that <code>make</code> invokes). </p> <table class="menu" border="0" cellspacing="0"> <tr> -<td align="left" valign="top">• <a href="job-slots" accesskey="1">Job Slots</a> -</td> -<td> </td> -<td align="left" valign="top">Share job slots with GNU <code>make</code>. </td> -</tr> <tr> -<td align="left" valign="top">• <a href="terminal-output" accesskey="2">Terminal Output</a> -</td> -<td> </td> -<td align="left" valign="top">Control output to terminals. </td> -</tr> </table><div class="_attribution"> - <p class="_attribution-p"> - 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. <br>Licensed under the GNU Free Documentation License.<br> - <a href="https://www.gnu.org/software/make/manual/html_node/Integrating-make.html" class="_attribution-link">https://www.gnu.org/software/make/manual/html_node/Integrating-make.html</a> - </p> -</div> |