From d73be1db7f78cef878f83e04af5ad09678a9ca4f Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Sun, 15 Sep 2024 22:30:38 +0200
Subject: [PATCH] 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 017e8b66e88..05a3946044d 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",