markdown fix

This commit is contained in:
Balazs Komuves 2024-05-17 18:43:53 +02:00
parent dafca630d8
commit fff59196b0
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562

View File

@ -14,7 +14,7 @@ To run the full workflow:
NOTE: the examples below assume `bash`. In particular, it won't work with `zsh`
(which is the dafault on newer macOS)! Because, you know, reasons...
To have an overview of what all the different steps and files are, see [PROOFS.md].
To have an overview of what all the different steps and files are, see [PROOFS.md](PROOFS.md).
### Some measurements