chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 559f38c) | patch
CI: use new docker image with texinfo
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 31 Oct 2016 14:02:39 +0000 (14:02 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 31 Oct 2016 14:02:39 +0000 (14:02 +0000)
commit2e96fc1cd9336bb180c655eb020040e00e22ed7a
treea269ce9dd5d7020396badb6e0dda602bad8800catree | snapshot
parent559f38cd218b857164ddba835828cfd52637b4e5commit | diff
CI: use new docker image with texinfo

docs/gendocs.sh uses makeinfo.
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.