]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #10487 from Habbie/docs-texlive
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Mon, 12 Jul 2021 11:12:58 +0000 (13:12 +0200)
committerGitHub <noreply@github.com>
Mon, 12 Jul 2021 11:12:58 +0000 (13:12 +0200)
build docs using the texlive image

1  2 
.circleci/config.yml

Simple merge