From 448e53ead117dffd6628e8c67849686afa061f98 Mon Sep 17 00:00:00 2001 From: Jasper <40232406+jaspwr@users.noreply.github.com> Date: Fri, 12 May 2023 22:40:43 +1000 Subject: [PATCH] Update README.md --- README.md | 5 ----- 1 file changed, 5 deletions(-) diff --git a/README.md b/README.md index d908257..a743f59 100644 --- a/README.md +++ b/README.md @@ -145,8 +145,3 @@ For syntax highlighting and other features in VSCode, you can use the extension. # Contributing Any contributions are welcome. If you would like to contribute, please open an issue or pull request. Refer to TODO.md for a list of planned features and known issues. -### Building docs and tooling. -If you have made changes to the code that alter the language in anyway or bumped the version, it is a good idea to run the following command. This will recompile all of the code examples in the documentation, update list of known macros and keywords, etc. -```bash -cargo run --bin docs_and_tooling_builder -```