[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