diff options
author | Alex Bennée | 2021-01-14 17:57:27 +0100 |
---|---|---|
committer | Alex Bennée | 2021-01-18 11:04:31 +0100 |
commit | a8a3abe0b39766a155d3ebd0216313e631a7d115 (patch) | |
tree | 8180691208083761be7c7f23dddca5d815844590 /MAINTAINERS | |
parent | docker: expand debian-amd64 image to include tag tools (diff) | |
download | qemu-a8a3abe0b39766a155d3ebd0216313e631a7d115.tar.gz qemu-a8a3abe0b39766a155d3ebd0216313e631a7d115.tar.xz qemu-a8a3abe0b39766a155d3ebd0216313e631a7d115.zip |
gitlab: move docs and tools build across from Travis
While we are at it we might as well check the tag generation. For
bonus points we run GNU globals htags into the public pages directory
for publishing with the auto generated pages.
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Wainer dos Santos Moschetta <wainersm@redhat.com>
Reviewed-by: Willian Rampazzo <willianr@redhat.com>
Acked-by: Thomas Huth <thuth@redhat.com>
Message-Id: <20210114165730.31607-10-alex.bennee@linaro.org>
Diffstat (limited to 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions