README: minor fix

This commit is contained in:
Hannes Mehnert 2024-10-21 13:29:57 +02:00
parent 0b0c57de5c
commit 9388e31171

View file

@ -27,7 +27,7 @@ You can specify an `author` (with its `name`, `email` and `link`) or not. By
default, we use `team@robur.coop`. If everything looks good, you can generate
via the `blogger.exe` tool the generated website via:
```shell-session
$ dune exec src/push.exe -- push \
$ dune exec bin/push.exe -- push \
-r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages \
--host https://blog.robur.coop
[--name "The Robur team"] \