diff options
author | Andrei Karas <akaras@inbox.ru> | 2017-01-04 04:05:51 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-01-04 04:05:51 +0300 |
commit | 76ad2d74012c408788473c3b495076c96666b27c (patch) | |
tree | 001b7fdca2f2a04ac0ce37de33efd2cbaa29692a /tools/ci/jobs/pages.sh | |
parent | 4242505e3d1f5e44fd402c4266b83fe9429369e0 (diff) | |
download | plus-76ad2d74012c408788473c3b495076c96666b27c.tar.gz plus-76ad2d74012c408788473c3b495076c96666b27c.tar.bz2 plus-76ad2d74012c408788473c3b495076c96666b27c.tar.xz plus-76ad2d74012c408788473c3b495076c96666b27c.zip |
Add pages generation with doxygen docs and git stats.
Pages can be accesed at http://stats.manaplus.org/
Diffstat (limited to 'tools/ci/jobs/pages.sh')
-rwxr-xr-x | tools/ci/jobs/pages.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh new file mode 100755 index 000000000..2c12253db --- /dev/null +++ b/tools/ci/jobs/pages.sh @@ -0,0 +1,20 @@ +#!/bin/bash + +export LOGFILE=pages.log + +source ./tools/ci/scripts/init.sh + +aptget_install git-core + +tools/ci/scripts/retry.sh git clone https://gitlab.com/4144/pagesindexgen.git pagesindexgen + +mkdir -p public/docs +mkdir -p public/stats + +cd pagesindexgen +./pagesindexgen.py ../public + +cd .. +cp -r doxygen/html/* public/docs +cp -r stats/* public/stats + |