diff options
Diffstat (limited to 'tools/ci/jobs/pages.sh')
| -rwxr-xr-x | tools/ci/jobs/pages.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh index 0e3c2b020..79acc67ff 100755 --- a/tools/ci/jobs/pages.sh +++ b/tools/ci/jobs/pages.sh @@ -4,8 +4,6 @@ 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 |