From a520d9ac4a5fefdc36600289c9e1f553df20fb03 Mon Sep 17 00:00:00 2001
From: Jean Privat <jean@pryen.org>
Date: Wed, 10 Jul 2019 10:59:09 -0400
Subject: [PATCH] ci: compile the manual

Signed-off-by: Jean Privat <jean@pryen.org>
---
 .gitlab-ci.yml |   10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 70b91e1..899130c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -358,6 +358,16 @@ build_doc:
     paths:
       - nitdoc.out
 
+build_manual:
+  stage: more_test
+  script:
+    - apt-get update && apt-get install --yes --no-install-recommends pandoc texlive texlive-latex-extra lmodern
+    - make -C doc/manual
+  artifacts:
+    paths:
+      - doc/manual/*.pdf
+      - doc/manual/*.epub
+
 nitmetrics:
   stage: more_test
   dependencies:
-- 
1.7.9.5