gitlab-ci: docs
-
Upload the generated documentation tar.gz as artifact. -
decrease artifact timeout from 1 week to 1 day, esp. with the documentation tar balls added, we don't want to take too much diskspace. -
remove the obsolete -doc
builder from buildbot.
Edited by Vicente Bolea