Merge pull request #5127 from maxGimeno/CI-doc_fix-maxGimeno

CI fix git diff
This commit is contained in:
Laurent Rineau 2020-10-28 11:37:03 +01:00 committed by GitHub
commit 64a84a73b4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -74,7 +74,7 @@ jobs:
mkdir -p cgal.github.io/${PR_NUMBER}/$ROUND
cd build_doc && make -j2 doc && make -j2 doc_with_postprocessing
#list impacted packages
LIST_OF_PKGS=$(git diff --name-only cgal/master... |cut -s -d/ -f1 |sort -u | xargs -I {} ls -d {}/package_info 2>/dev/null |cut -d/ -f1)
LIST_OF_PKGS=$(git diff --name-only origin/master... |cut -s -d/ -f1 |sort -u | xargs -I {} ls -d {}/package_info 2>/dev/null |cut -d/ -f1)
for f in $LIST_OF_PKGS
do
cp -r ./doc_output/$f ../cgal.github.io/${PR_NUMBER}/$ROUND