From fca45881909ba8ff6a87bde8aa60393d6a85d514 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 11 Jul 2019 02:06:59 +0200
Subject: [PATCH] ci: fix pages target by installing a missing python module

---
 docs/requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 0a8f75d38f..dabe5fffdd 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,4 @@
 breathe
 sphinx>=1.8.0
 sphinx_rtd_theme
-
+javalang
-- 
2.20.1