diff options
Diffstat (limited to 'tools/ci/jobs/pages.sh')
-rwxr-xr-x | tools/ci/jobs/pages.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh index 720a3f917..756b1c07d 100755 --- a/tools/ci/jobs/pages.sh +++ b/tools/ci/jobs/pages.sh @@ -8,6 +8,7 @@ tools/ci/scripts/retry.sh git clone https://gitlab.com/4144/pagesindexgen.git pa mkdir -p ../public/docs mkdir -p ../public/stats +mkdir -p ../public/stats2 mkdir -p ../public/gcov mkdir -p ../public/version @@ -25,3 +26,4 @@ check_error $? cd .. cp -r ./doxygen/html/* ../public/docs || exit 1 cp -r ./stats/* ../public/stats || exit 1 +cp -r ./stats2/* ../public/stats2 || exit 1 |