From 420ed32ef66f40be3593843320e9794c84a17c57 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Sun, 15 Sep 2024 22:37:57 +0200
Subject: [PATCH] [skip ci] update

---
 .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 05a3946044d..ba15781ddeb 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -201,7 +201,7 @@ jobs:
         if: ${{ success() }}
         with:
           script: |
-            const round = "${{ env.doc_version }}""
+            const round = "${{ env.doc_version }}"
             const address = "The documentation is built. It will be available, after a few minutes, here: https://cgal.github.io/${{ env.pr_number }}/"+round+"/Manual/index.html"
             github.rest.issues.createComment({
               owner: "CGAL",