[skip ci] update

.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",