removing all downloaded devdocs files

1 files changed, 0 insertions, 6 deletions

diff --git a/devdocs/gnu_make/reading.html b/devdocs/gnu_make/reading.html
deleted file mode 100644
index a6a954a5..00000000
--- a/devdocs/gnu_make/reading.html
+++ /dev/null
@@ -1,6 +0,0 @@
-  <h1 class="section">How to Read This Manual</h1> <p>If you are new to <code>make</code>, or are looking for a general introduction, read the first few sections of each chapter, skipping the later sections. In each chapter, the first few sections contain introductory or general information and the later sections contain specialized or technical information. The exception is the second chapter, <a href="introduction">An Introduction to Makefiles</a>, all of which is introductory. </p> <p>If you are familiar with other <code>make</code> programs, see <a href="features">Features of GNU <code>make</code></a>, which lists the enhancements GNU <code>make</code> has, and <a href="missing">Incompatibilities and Missing Features</a>, which explains the few things GNU <code>make</code> lacks that others have. </p> <p>For a quick summary, see <a href="options-summary">Options Summary</a>, <a href="quick-reference">Quick Reference</a>, and <a href="special-targets">Special Targets</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/Reading.html" class="_attribution-link">https://www.gnu.org/software/make/manual/html_node/Reading.html</a>
-  </p>
-</div>