diff options
-rw-r--r-- | doc/.gitignore | 1 | ||||
-rw-r--r-- | doc/Makefile | 2 | ||||
-rw-r--r-- | doc/conf.py | 2 |
3 files changed, 3 insertions, 2 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 17445fe..6a4c78e 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,4 +1,5 @@ _build +build _static _templates diff --git a/doc/Makefile b/doc/Makefile index 02e46c2..3b82282 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -5,7 +5,7 @@ SPHINXOPTS = SPHINXBUILD = sphinx-build PAPER = -BUILDDIR = _build +BUILDDIR = build # User-friendly check for sphinx-build ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) diff --git a/doc/conf.py b/doc/conf.py index fcf1490..272c20f 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -68,7 +68,7 @@ release = '2014.08' # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. -exclude_patterns = ['_build'] +exclude_patterns = ['build'] # The reST default role (used for this markup: `text`) to use for all # documents. |