diff options
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. |