diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-10-12T05·12-0700 |
---|---|---|
committer | Adam Joseph <adam@westernsemico.com> | 2022-10-13T18·41+0000 |
commit | d4bc58b38d4ff5a58ea92f1ae8ac9c1290e1c741 (patch) | |
tree | c3c85c9f7fa3b9eb47105c5618c26543ea1a3c60 /tools/tvlc | |
parent | a545f21cc0ec279be5e128bcbb2ab822787579dc (diff) |
docs(tvix/eval): explain where to find the site-specific `mg` tool r/5126
When I first read the `README.md` I didn't know what this `mg build` was. Some grepping around turned up `/tools/magrathea`. Apparently this thing "helps me build planets". Awesome! Let's tell other people where to find it. It seems that this tool is (currently) specific to depot, so people who arrive at depot because of tvix probably won't know where to find `mg`. Signed-off-by: Adam Joseph <adam@westernsemico.com> Change-Id: Icb8c51087fd41b696794516abcfee24a4b3b4a14 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6948 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tools/tvlc')
0 files changed, 0 insertions, 0 deletions