new repository

1 files changed, 6 insertions, 0 deletions

diff --git a/devdocs/gnu_make/makefile-arguments.html b/devdocs/gnu_make/makefile-arguments.html
new file mode 100644
index 00000000..33879b06
--- /dev/null
+++ b/devdocs/gnu_make/makefile-arguments.html
@@ -0,0 +1,6 @@
+  <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>