Merge pull request #162 from jtojnar/check-correct-docbook
authorChristian Brauner <christian@brauner.io>
Tue, 30 Apr 2019 18:39:22 +0000 (20:39 +0200)
committerGitHub <noreply@github.com>
Tue, 30 Apr 2019 18:39:22 +0000 (20:39 +0200)
commitce2941ca0df544414e468548ac89cc6a8d0adc51
tree9e75414ec5a9f39bc806be63c1a6c06f71a200e7
parent5837240451df520ed77c889c76f6040391371e32
parent47797ca6654f79e3de854a6c69db2bdb0516db08
Merge pull request #162 from jtojnar/check-correct-docbook

build: Check correct DocBook version