CI: use new docker image with texinfo (!179) · Merge requests · F-Droid / fdroidserver · GitLab

The source project of this merge request has been removed.

Daniel Martí requested to merge (removed):texinfo into master Oct 31, 2016

docs/gendocs.sh uses makeinfo.