diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index a67b28a3f1b..4e8f1634b21 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -41,6 +41,7 @@ ifeq ($(OS_ID),ubuntu) else ifneq ("$(wildcard /etc/redhat-release)","") @sudo yum install $(CONFIRM) $(DOC_RPM_DEPENDS) endif - @python3 -m pip install sphinxcontrib-spelling - @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" -W -b spelling $(O) +# Disable spell checking for now +# @python3 -m pip install sphinxcontrib-spelling +# @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" -W -b spelling $(O) @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |