From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/gnu_make/features.html | 53 ------------------------------------------ 1 file changed, 53 deletions(-) delete mode 100644 devdocs/gnu_make/features.html (limited to 'devdocs/gnu_make/features.html') diff --git a/devdocs/gnu_make/features.html b/devdocs/gnu_make/features.html deleted file mode 100644 index d3257c39..00000000 --- a/devdocs/gnu_make/features.html +++ /dev/null @@ -1,53 +0,0 @@ -

Features of GNU make

Here is a summary of the features of GNU make, for comparison with and credit to other versions of make. We consider the features of make in 4.2 BSD systems as a baseline. If you are concerned with writing portable makefiles, you should not use the features of make listed here, nor the ones in Missing.

Many features come from the version of make in System V.

The following features were inspired by various other versions of make. In some cases it is unclear exactly which versions inspired which others.

The remaining features are inventions new in GNU make:

-

- 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.
Licensed under the GNU Free Documentation License.
- https://www.gnu.org/software/make/manual/html_node/Features.html -

-
-- cgit v1.2.3