From 20321598a732d254d4a9e036eecbe0ae8abb48a0 Mon Sep 17 00:00:00 2001 From: Sheng Zha Date: Fri, 30 Oct 2020 13:06:55 -0400 Subject: [PATCH] set doc options in makefile (#1412) --- Makefile | 2 +- docs/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index e2a7df7291..799e17be1c 100644 --- 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 index 2f38b0cfd4..2925e10efb 100644 --- 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