diff options
author | Mike Frysinger <vapier@gentoo.org> | 2022-02-14 07:17:48 +0300 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2022-02-16 03:59:53 +0300 |
commit | b7f2965dc397610aa4c8941557e48d5736d8e8dd (patch) | |
tree | f0a7740d467b971be0d432230abeb3b9b4f78658 /newlib/Makefile.am | |
parent | ac90a6590be6ec0454cab81280e428d049335494 (diff) |
newlib: rename doc/local.mk to Makefile.inc
For consistency across the whole tree.
Diffstat (limited to 'newlib/Makefile.am')
-rw-r--r-- | newlib/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/newlib/Makefile.am b/newlib/Makefile.am index 5767f8524..67fb1e8ba 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 |