diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-12-07 15:26:05 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-12-07 18:06:16 -0800 |
commit | 72f278ae6bb52e17dbdeac0fce41a794e8dfd0d1 (patch) | |
tree | 37a9447622b24894ccb2006b027b61b3b8b8fab8 /tools/Readme.md | |
parent | c1d596f56a6f2198ea8ea1b0a90c613e919d891b (diff) | |
download | mu-72f278ae6bb52e17dbdeac0fce41a794e8dfd0d1.tar.gz |
5797 - move `enumerate/` to `tools/` directory
Diffstat (limited to 'tools/Readme.md')
-rw-r--r-- | tools/Readme.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/Readme.md b/tools/Readme.md index 3a24955b..2649ef72 100644 --- a/tools/Readme.md +++ b/tools/Readme.md @@ -1,5 +1,13 @@ Run all these from the top-level `mu/` directory. +### Some tools for Mu's build process + +These are built automatically. + +* `enumerate`: list numeric files in current directory, optionally `--until` + some prefix. + + ### Miscellaneous odds and ends These are built lazily. |