ci: compile the manual
authorJean Privat <jean@pryen.org>
Wed, 10 Jul 2019 14:59:09 +0000 (10:59 -0400)
committerJean Privat <jean@pryen.org>
Fri, 12 Jul 2019 19:52:38 +0000 (15:52 -0400)
commita520d9ac4a5fefdc36600289c9e1f553df20fb03
tree152c349333c740ff3b5db47fdd18d0d5ac71bc60
parent4cdad1294a40d03922ac350d09c787dd24d935c7
ci: compile the manual

Signed-off-by: Jean Privat <jean@pryen.org>
.gitlab-ci.yml