diff options
| author | Jon Turney <jon.turney@dronecode.org.uk> | 2021-11-16 15:41:30 +0300 |
|---|---|---|
| committer | Jon Turney <jon.turney@dronecode.org.uk> | 2021-11-16 20:59:56 +0300 |
| commit | ad68ec27c3e72d4639f425c62c2a4cfa8562aa03 (patch) | |
| tree | b80bed784c353da1b3ebd9e13840243838d582b3 /.github | |
| parent | 782aac590af7f065877168848d5fbb20535bfcf9 (diff) | |
Fix 'make man' after 67208d9e
Remove a left over use of doc/Makefile after 67208d9e ('newlib: merge
doc into top-level Makefile') to fix 'make man'.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions