summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/pages.sh
blob: 5748a575c0d1f7a5ea8e35629c44ba2566dc35e4 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#!/bin/bash

export LOGFILE=pages.log

source ./tools/ci/scripts/init.sh

tools/ci/scripts/retry.sh git clone https://gitlab.com/4144/pagesindexgen.git pagesindexgen

mkdir -p public/docs
mkdir -p public/stats
mkdir -p public/gcov
mkdir -p public/version

cp logs/gcc-?.* public/gcov
cp logs/gcc-?_SDL2.* public/gcov
echo "Url: $CI_PROJECT_URL" >public/version/commit.txt
echo "Ref name: $CI_BUILD_REF_NAME" >>public/version/commit.txt
echo "Ref: $CI_BUILD_REF" >>public/version/commit.txt

cd pagesindexgen
./pagesindexgen.py ../public
check_error $?

cd ..
cp -r doxygen/html/* public/docs
cp -r stats/* public/stats