diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 5378f637349..7c858a4ca8d 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -88,7 +88,7 @@ jobs:
         if: steps.get_round.outputs.result != 'stop'
         with:
           script: |
-            const address = "The documentation is built. You can find it here : https://cgal.github.io/${{ steps.get_pr_number.outputs.result }}/${{ steps.get_round.outputs.result }}/Manual/index.html"
+            const address = "The documentation is built. It will be available, after a few minutes, here : https://cgal.github.io/${{ steps.get_pr_number.outputs.result }}/${{ steps.get_round.outputs.result }}/Manual/index.html"
             github.issues.createComment({
               owner: "CGAL",
               repo: "cgal",