doc: try to fix the readthedoc build

diff --git a/docs/requirements.txt b/docs/requirements.txt
index dabe5ff..9de2f0f 100644 (file)
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -2,3 +2,4 @@ breathe
 sphinx>=1.8.0
 sphinx_rtd_theme
 javalang
+docutils

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 286f452..dce6685 100644 (file)
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -24,9 +24,10 @@ sys.path.append(os.path.abspath('_ext'))
 read_the_docs_build = os.environ.get('READTHEDOCS', None) == 'True'
 
 if read_the_docs_build:
-    subprocess.call('cd source; doxygen', shell=True)
-    subprocess.call('source/_ext/javasphinx-apidoc --force -o source/java/ ../src/bindings/java/org/simgrid/msg', shell=True)
-    subprocess.call('rm source/java/packages.rst', shell=True)
+    subprocess.call('pwd', shell=True) # should be in docs/source
+    subprocess.call('doxygen', shell=True)
+    subprocess.call('_ext/javasphinx-apidoc --force -o java/ ../../src/bindings/java/org/simgrid/msg', shell=True)
+    subprocess.call('rm java/packages.rst', shell=True)
 
 # -- Project information -----------------------------------------------------