From d89d6b1b759175539c4050f48dbf9e0bd23cd285 Mon Sep 17 00:00:00 2001
From: SaillantNicolas <97436229+SaillantNicolas@users.noreply.github.com>
Date: Wed, 16 Nov 2022 16:35:37 +0100
Subject: [PATCH] Fix javascript syntax

---
 .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 b15b2658b6c..fe5614e4a78 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -155,7 +155,7 @@ jobs:
         if: ${{ failure() && steps.get_round.outputs.result != 'stop' }}
         with:
           script: |
-            const error = "${{steps.build_and_run.outputs.DoxygenError}}"
+            const error = `${{steps.build_and_run.outputs.DoxygenError}}`
             const msg = "There was an error while building the doc: \n"+error
             github.rest.issues.createComment({
               owner: "CGAL",