removing all downloaded devdocs files

1 files changed, 0 insertions, 6 deletions

diff --git a/devdocs/gnu_make/makefile-arguments.html b/devdocs/gnu_make/makefile-arguments.html
deleted file mode 100644
index 33879b06..00000000
--- a/devdocs/gnu_make/makefile-arguments.html
+++ /dev/null
@@ -1,6 +0,0 @@
-  <h1 class="section">Arguments to Specify the Makefile</h1>    <p>The way to specify the name of the makefile is with the ‘<samp>-f</samp>’ or ‘<samp>--file</samp>’ option (‘<samp>--makefile</samp>’ also works). For example, ‘<samp>-f altmake</samp>’ says to use the file <samp>altmake</samp> as the makefile. </p> <p>If you use the ‘<samp>-f</samp>’ flag several times and follow each ‘<samp>-f</samp>’ with an argument, all the specified files are used jointly as makefiles. </p> <p>If you do not use the ‘<samp>-f</samp>’ or ‘<samp>--file</samp>’ flag, the default is to try <samp>GNUmakefile</samp>, <samp>makefile</samp>, and <samp>Makefile</samp>, in that order, and use the first of these three which exists or can be made (see <a href="makefiles">Writing Makefiles</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/Makefile-Arguments.html" class="_attribution-link">https://www.gnu.org/software/make/manual/html_node/Makefile-Arguments.html</a>
-  </p>
-</div>