commit abdb88539e1b298233de69652c73939ff57b1a42 Author: Isis Lovecruft isis@torproject.org Date: Thu Nov 28 12:30:39 2013 +0000

Add Sphinx options for ignoring pickled doctree state. --- doc/sphinx/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/Makefile b/doc/sphinx/Makefile index b0d5e7d..238cb4a 100644 --- a/doc/sphinx/Makefile +++ b/doc/sphinx/Makefile @@ -2,7 +2,7 @@ #

# You can set these variables from the command line. -SPHINXOPTS = +SPHINXOPTS = -a -E SPHINXBUILD = sphinx-build PAPER = BUILDDIR = build