diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml index f8bf4ebb98e..687dc754a40 100644 --- a/.github/workflows/build_doc.yml +++ b/.github/workflows/build_doc.yml @@ -96,7 +96,7 @@ jobs: cd .. git clone https://CGAL:${{ secrets.PUSH_TO_CGAL_GITHUB_IO_TOKEN }}@github.com/CGAL/cgal.github.io.git mkdir -p cgal.github.io/${PR_NUMBER}/$ROUND - rm cgal.github.io/${PR_NUMBER}/$ROUND/* -r + rm cgal.github.io/${PR_NUMBER}/$ROUND/* -rf for f in $LIST_OF_PKGS do if [ -d ./build_doc/doc_output/$f ]; then