diff options
author | Mike Frysinger <vapier@gentoo.org> | 2022-02-13 23:17:48 -0500 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2022-02-15 19:59:53 -0500 |
commit | b7f2965dc397610aa4c8941557e48d5736d8e8dd (patch) | |
tree | f0a7740d467b971be0d432230abeb3b9b4f78658 /newlib/doc | |
parent | ac90a6590be6ec0454cab81280e428d049335494 (diff) | |
download | newlib-b7f2965dc397610aa4c8941557e48d5736d8e8dd.zip newlib-b7f2965dc397610aa4c8941557e48d5736d8e8dd.tar.gz newlib-b7f2965dc397610aa4c8941557e48d5736d8e8dd.tar.bz2 |
newlib: rename doc/local.mk to Makefile.inc
For consistency across the whole tree.
Diffstat (limited to 'newlib/doc')
-rw-r--r-- | newlib/doc/Makefile.inc (renamed from newlib/doc/local.mk) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/newlib/doc/local.mk b/newlib/doc/Makefile.inc index de1dd1f..de1dd1f 100644 --- a/newlib/doc/local.mk +++ b/newlib/doc/Makefile.inc |