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/makefile-arguments.html | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 devdocs/gnu_make/makefile-arguments.html (limited to 'devdocs/gnu_make/makefile-arguments.html') 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 @@ -

Arguments to Specify the Makefile

The way to specify the name of the makefile is with the ‘-f’ or ‘--file’ option (‘--makefile’ also works). For example, ‘-f altmake’ says to use the file altmake as the makefile.

If you use the ‘-f’ flag several times and follow each ‘-f’ with an argument, all the specified files are used jointly as makefiles.

If you do not use the ‘-f’ or ‘--file’ flag, the default is to try GNUmakefile, makefile, and Makefile, in that order, and use the first of these three which exists or can be made (see Writing Makefiles).

-

- 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/Makefile-Arguments.html -

-
-- cgit v1.2.3