removing all downloaded devdocs files

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>