set doc options in makefile (#1412)

dmlc · Oct 30, 2020 · 2032159 · 2032159
1 parent b6906f8
commit 2032159
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -48,7 +48,7 @@ markdown:
 	done;
 
 docs_local: markdown distribute
-	make -C docs html SPHINXOPTS=-W
+	make -C docs html
 
 clean:
 	git clean -ff -d -x --exclude="$(ROOTDIR)/tests/data/*" --exclude="$(ROOTDIR)/conda/" --exclude="$(ROOTDIR)/.idea/"

diff --git a/docs/Makefile b/docs/Makefile
@@ -2,7 +2,7 @@
 #
 
 # You can set these variables from the command line.
-SPHINXOPTS    = -j 4
+SPHINXOPTS    = -j 4 -W --keep-going
 SPHINXBUILD   = sphinx-build
 PAPER         =
 BUILDDIR      = _build