| #!/bin/bash | |
| set -uo pipefail | |
| set -e | |
| set -vx | |
| MAKE_J=$(grep -c processor /proc/cpuinfo) | |
| make -j${MAKE_J} SKIBOOT_GCOV=1 coverage-report | |
| pip install -r doc/requirements.txt | |
| (cd doc; make html) | |
| cp -r doc/ghpages-skeleton doc/_build/ghpages | |
| mv coverage-report doc/_build/ghpages/ | |
| mv doc/_build/html doc/_build/ghpages/doc |