[PATCH] newlib: rename doc/local.mk to Makefile.inc

Mike Frysinger vapier@gentoo.org
Mon Feb 14 04:18:26 GMT 2022


For consistency across the whole tree.
---
 newlib/Makefile.am                    | 2 +-
 newlib/Makefile.in                    | 4 ++--
 newlib/doc/{local.mk => Makefile.inc} | 0
 3 files changed, 3 insertions(+), 3 deletions(-)
 rename newlib/doc/{local.mk => Makefile.inc} (100%)

diff --git a/newlib/Makefile.am b/newlib/Makefile.am
index 5767f8524fd0..67fb1e8ba074 100644
--- a/newlib/Makefile.am
+++ b/newlib/Makefile.am
@@ -443,7 +443,7 @@ TEXI2DVI = texi2dvi -E
 TEXINFO_TEX = ../texinfo/texinfo.tex
 
 if HAVE_DOC
-include doc/local.mk
+include doc/Makefile.inc
 endif
 include libc/Makefile.inc
 include libm/Makefile.inc
diff --git a/newlib/doc/local.mk b/newlib/doc/Makefile.inc
similarity index 100%
rename from newlib/doc/local.mk
rename to newlib/doc/Makefile.inc
-- 
2.34.1



More information about the Newlib mailing list