diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index cc0e32dbc26..a0ba9c679ac 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -46,4 +46,5 @@ jobs:
         set -e
         cd build_doc && make -j2 doc && make -j2 doc_with_postprocessing
         PR_NUMBER=$(python -c "import json; import os; y = json.load(open(os.environ['GITHUB_EVENT_PATH'])); print(y[\"number\"])")
-        rsync --compress -a doc_output/* ${{ secrets.ids }}/pr_doc/${PR_NUMBER}/
+        rsync --compress -a doc_output/* ${{ secrets.ids }}/cgal.github.io/${PR_NUMBER}/
+        ssh mgimeno@cgal.geometryfactory.com "cd /home/mgimeno/public_html/cgal.github.io && git add ${PR_NUMBER} && git commit -a -m 'Add a new directory' && git push origin master"
diff --git a/.github/workflows/delete_doc.yml b/.github/workflows/delete_doc.yml
index 58de70d1797..64d7a7f2a77 100644
--- a/.github/workflows/delete_doc.yml
+++ b/.github/workflows/delete_doc.yml
@@ -12,6 +12,7 @@ jobs:
     - uses: actions/checkout@v2.0.0
     - name: delete directory
       run: |
+         set -x
          mkdir -p ~/.ssh
          (
          cat <<EOF
@@ -32,5 +33,6 @@ jobs:
          EOF
          )>> ~/.ssh/known_hosts
          PR_NUMBER=$(python -c "import json; import os; y = json.load(open(os.environ['GITHUB_EVENT_PATH'])); print(y[\"number\"])")
-         ssh mgimeno@cgal.geometryfactory.com rm -rf /home/mgimeno/public_html/pr_doc/${PR_NUMBER}
+         #ssh mgimeno@cgal.geometryfactory.com rm -rf /home/mgimeno/public_html/cgal.github.io/${PR_NUMBER}
+         ssh mgimeno@cgal.geometryfactory.com "cd /home/mgimeno/public_html/cgal.github.io && rm -rf ${PR_NUMBER} && git rm -r ${PR_NUMBER} && git commit -a -m 'Remove a directory' && git push origin master"