CI: use new docker image with texinfo

docs/gendocs.sh uses makeinfo.
This commit is contained in:
Daniel Martí 2016-10-31 14:02:39 +00:00
parent 559f38cd21
commit 2e96fc1cd9

View file

@ -1,4 +1,4 @@
image: fdroid/ci:server-20161023
image: fdroid/ci:server-20161031
test:
script: