From db0a920c7af44944ca27c2edfd06232d3d74a9d3 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 1 Oct 2018 09:11:45 +0200
Subject: [PATCH] docs: run javasphinx on RTD.org too

---
 docs/source/conf.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index b56aeca01c..b57d1f3837 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -25,6 +25,8 @@ read_the_docs_build = os.environ.get('READTHEDOCS', None) == 'True'
 
 if read_the_docs_build:
     subprocess.call('cd source; doxygen', shell=True)
+    subprocess.call('javasphinx-apidoc --force -o source/java/ ../src/bindings/java/org/simgrid/msg', shell=True)
+    subprocess.call('rm source/java/packages.rst', shell=True)
 
 # -- Project information -----------------------------------------------------
 
-- 
2.20.1