chiark / gitweb /
docs: Wire build into our top-level Makefile
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Apr 2021 18:12:11 +0000 (19:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Apr 2021 19:34:21 +0000 (20:34 +0100)
commitdb4036f441ddc8b52454f163cfb81c41b54e7eaa
tree4062846b38f8a51b890e19a925c1bae65785ed23
parent5a9f5a0a116241f0b5ecaa2b5795f162d361a8bf
docs: Wire build into our top-level Makefile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile
docs/Makefile [deleted file]
docs/dev.md