From 9388e31171f0594c45f3c6ca9f5cd7d1f7c46231 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 21 Oct 2024 13:29:57 +0200 Subject: [PATCH] README: minor fix --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ec80c87..f9dab4d 100644 --- a/README.md +++ b/README.md @@ -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"] \