Fix local pip install and disable sphinx.ext.autosectionlabel

firm1 · Oct 11, 2016 · 98a702d · 98a702d
1 parent 5945e6f
commit 98a702d
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -21,7 +21,6 @@ build/
 # Documentation
 doc/build/
 doc/rst/.presentation.rst
-doc/javalang/
 
 # Misc
 *.log

diff --git a/doc/Makefile b/doc/Makefile
@@ -3,7 +3,7 @@
 
 # You can set these variables from the command line.
 SPHINXOPTS    =
-SPHINXBUILD   = python3 -m sphinx
+SPHINXBUILD   = ../venv/bin/python3 -m sphinx
 PAPER         =
 BUILDDIR      = build
 SERVE         = python3 ./serve.py

diff --git a/doc/conf.py b/doc/conf.py
@@ -95,7 +95,7 @@ def javadoc_build():
 
 extensions = [
     'sphinx.ext.todo',
-    'sphinx.ext.autosectionlabel',
+    # 'sphinx.ext.autosectionlabel', # can be enabled locally but this extension is not found from readthdocs.io.
     'javasphinx'
 ]
 

diff --git a/doc/requirements.txt b/doc/requirements.txt
@@ -1,2 +1,3 @@
 -e git://github.com/roipoussiere/javalang.git#egg=javalang
 -e git://github.com/roipoussiere/javasphinx.git#egg=javasphinx
+sphinx_rtd_theme==0.1.9