removing all downloaded devdocs files

1 files changed, 0 insertions, 8 deletions

diff --git a/devdocs/gnu_make/preparing.html b/devdocs/gnu_make/preparing.html
deleted file mode 100644
index 33bce311..00000000
--- a/devdocs/gnu_make/preparing.html
+++ /dev/null
@@ -1,8 +0,0 @@
-  <h4 class="node-heading">Preparing</h4> <h3 class="heading">Preparing and Running Make</h3> <p>To prepare to use <code>make</code>, you must write a file called the <em>makefile</em> that describes the relationships among files in your program and provides commands for updating each file. In a program, typically, the executable file is updated from object files, which are in turn made by compiling source files. </p> <p>Once a suitable makefile exists, each time you change some source files, this simple shell command: </p> <div class="example"> <pre class="example">make
-</pre>
-</div> <p>suffices to perform all necessary recompilations. The <code>make</code> program uses the makefile data base and the last-modification times of the files to decide which of the files need to be updated. For each of those files, it issues the recipes recorded in the data base. </p> <p>You can provide command line arguments to <code>make</code> to control which files should be recompiled, or how. See <a href="running">How to Run <code>make</code></a>. </p><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/Preparing.html" class="_attribution-link">https://www.gnu.org/software/make/manual/html_node/Preparing.html</a>
-  </p>
-</div>