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/remaking-loaded-objects.html | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 devdocs/gnu_make/remaking-loaded-objects.html (limited to 'devdocs/gnu_make/remaking-loaded-objects.html') diff --git a/devdocs/gnu_make/remaking-loaded-objects.html b/devdocs/gnu_make/remaking-loaded-objects.html deleted file mode 100644 index 6be722f3..00000000 --- a/devdocs/gnu_make/remaking-loaded-objects.html +++ /dev/null @@ -1,6 +0,0 @@ -

How Loaded Objects Are Remade

Loaded objects undergo the same re-make procedure as makefiles (see How Makefiles Are Remade). If any loaded object is recreated, then make will start from scratch and re-read all the makefiles, and reload the object files again. It is not necessary for the loaded object to do anything special to support this.

It’s up to the makefile author to provide the rules needed for rebuilding the loaded object.

-

- 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/Remaking-Loaded-Objects.html -

-
-- cgit v1.2.3