Merge branch 'texinfo' into 'master'

CI: use new docker image with texinfo

docs/gendocs.sh uses makeinfo.

See merge request !179
This commit is contained in:
Hans-Christoph Steiner 2016-10-31 17:51:16 +00:00
commit f90adcc912

View file

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