diff --git a/doc/Makefile.sphinx b/doc/Makefile.sphinx index 523c6986a5fc..54f1eb1c638c 100644 --- a/doc/Makefile.sphinx +++ b/doc/Makefile.sphinx @@ -8,7 +8,7 @@ CHPLDEPS = $(shell $(CHPL_MAKE_PYTHON) $(CHPL_MAKE_HOME)/util/chplenv/chpl_home_ COPY_IF_DIFFERENT = $(CHPL_MAKE_PYTHON) $(CHPL_MAKE_HOME)/util/config/update-if-different --copy # You can set these variables from the command line. -SPHINXOPTS = -W --keep-going +SPHINXOPTS = -n -W --keep-going SPHINXBUILD = $(CHPL_MAKE_PYTHON) $(CHPLDEPS) sphinx-build PAPER = SOURCEDIR = rst