make readme more accurate

This commit is contained in:
2025-11-10 10:31:27 +01:00
parent 0be681b0f0
commit 62d398c807

View File

@@ -88,13 +88,15 @@ You can build (and view) it by running:
make make
``` ```
This will compile it once and open it using `xdg-open`.
Or when using Nix: Or when using Nix:
```sh ```sh
nix build nix build
``` ```
This will compile it once and open it using `xdg-open`. That will output `result/documentation.pdf` which you can view.
### Building thesis examples ### Building thesis examples