new repository

1 files changed, 16 insertions, 0 deletions

diff --git a/devdocs/gnu_make/integrating-make.html b/devdocs/gnu_make/integrating-make.html
new file mode 100644
index 00000000..e4478dbd
--- /dev/null
+++ b/devdocs/gnu_make/integrating-make.html
@@ -0,0 +1,16 @@
+  <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>