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/doc | |
| parent | ac90a6590be6ec0454cab81280e428d049335494 (diff) | |
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 de1dd1f2b..de1dd1f2b 100644 --- a/newlib/doc/local.mk +++ b/newlib/doc/Makefile.inc |