Add options to Sphinx conf.py for -Wall and rebuild environment.

2013-12-03 21:51:09 +00:00 · 2013-12-03 21:51:09 +00:00 · 638d639558
parent 7d7dec5d9f
commit 638d639558
1 changed files with 1 additions and 1 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@ -2,7 +2,7 @@
 #

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