diff options
| -rw-r--r-- | README.md | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -48,6 +48,11 @@ Extra tools used for development are: - [ShellCheck] for validating scripts; - [pandoc], troff and Perl for generating the documentation HTML and website. +[fallible]: https://fallible.euandreh.xyz +[Valgrind]: https://valgrind.org +[ShellCheck]: https://www.shellcheck.net/ +[pandoc]: https://pandoc.org/ + For extra development-only checks such as memory tests, run: ```shell @@ -59,8 +64,3 @@ and for generating the documentation HTML and website, run: ```shell $ make public ``` - -[fallible]: https://fallible.euandreh.xyz -[Valgrind]: https://valgrind.org -[ShellCheck]: https://www.shellcheck.net/ -[pandoc]: https://pandoc.org/ |