chiark / gitweb /
docs: rework build instructions
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Apr 2021 18:53:06 +0000 (19:53 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Apr 2021 19:34:21 +0000 (20:34 +0100)
commit98bb1f33088a8e90875a345dc79995ba43cba2b4
tree0877e1eec2180d92f3f71f5ca0796a74600008fa
parentefbd9fd36ae8719f53400d8249101fda41850175
docs: rework build instructions

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
docs/build.md [deleted file]
docs/build.rst [new file with mode: 0644]
docs/dev.md