From 20d5173ba14dfc0daea5e1fe894dfc37902fe403 Mon Sep 17 00:00:00 2001 From: Michael Ferguson Date: Thu, 14 Mar 2024 17:47:42 -0400 Subject: [PATCH] Turn nitpicking back on it was temporarily disabled in PR #24201 --- Signed-off-by: Michael Ferguson --- doc/Makefile.sphinx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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