mirror of https://github.com/CGAL/cgal
force removal
This commit is contained in:
parent
4408f43b07
commit
314b94aafa
|
|
@ -96,7 +96,7 @@ jobs:
|
||||||
cd ..
|
cd ..
|
||||||
git clone https://CGAL:${{ secrets.PUSH_TO_CGAL_GITHUB_IO_TOKEN }}@github.com/CGAL/cgal.github.io.git
|
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
|
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
|
for f in $LIST_OF_PKGS
|
||||||
do
|
do
|
||||||
if [ -d ./build_doc/doc_output/$f ]; then
|
if [ -d ./build_doc/doc_output/$f ]; then
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue