summaryrefslogblamecommitdiff
path: root/tools/ci/jobs/pages.sh
blob: 0e3c2b020c1c319c3d31230a735c7aa10df8f128 (plain) (tree)
1
2
3
4
5
6
7





                                 
                              




                                                                                           



                                


                            
              




                                
#!/bin/bash

export LOGFILE=pages.log

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

aptget_install git-core python

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

cp logs/gcc-6.* public/gcov
cp logs/gcc-6_SDL2.* public/gcov

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

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