Tentative fix for the readthedocs automatic generation of documentation.

echentao · Apr 28, 2019 · 6766274 · 6766274
1 parent a685ae4
commit 6766274
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/source/conf.py b/doc/source/conf.py
@@ -18,7 +18,7 @@
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
-sys.path.insert(0, os.path.abspath('pyModelChecking'))
+sys.path.insert(0, os.path.abspath('../..'))
 
 # -- General configuration ------------------------------------------------