diff options
| -rw-r--r-- | README.md | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -48,7 +48,17 @@ Extra tools used for development are: - [ShellCheck] for validating scripts; - [pandoc], troff and Perl for generating the documentation HTML and website. -Run `make dev-check` for extra development-only checks such as memory tests, and `make public` for generating the documentation HTML and website. +For extra development-only checks such as memory tests, run: + +```shell +$ make dev-check +``` + +and for generating the documentation HTML and website, run: + +```shell +$ make public +``` [fallible]: https://fallible.euandreh.xyz [Valgrind]: https://valgrind.org |