From a945067ae603df2bdbda88d0bb59b23f77ea2106 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Fri, 30 Jul 2021 09:59:04 +0200
Subject: [PATCH] fix error text

---
 .github/workflows/build_doc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index ee65d8f7ef0..9d9ca8cb4be 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -109,7 +109,7 @@ jobs:
             mv tmp.html index.html
             git add ${PR_NUMBER}/$ROUND index.html && git commit -q --amend -m "base commit" && git push -q -f -u origin master
           else
-            echo "::set-output name=DoxygenError::This round already exists. Overwrite it with `/force-build`"
+            echo "::set-output name=DoxygenError::This round already exists. Overwrite it with /force-build"
             exit 1
           fi