diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2020-03-11 13:28:27 -0400 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2020-04-02 13:29:28 +0000 |
| commit | a26f54421ae61b1a42c2ff69d3037c428aa238f4 (patch) | |
| tree | 5117021cbe2eec4e05d1f5b19090bc57993521c6 /docs/Makefile | |
| parent | 57a5a2df5970f61259c9a14b5eb79358a2115b01 (diff) | |
docs: Fix venv under python3
See ticket for output under containers for each distro.
Ticket: VPP-1851
Type: docs
Change-Id: I0d80dabeb30d92d09edffa503b05d5eef08313dc
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/docs/Makefile b/docs/Makefile index 4e8f1634b21..6c5960d18c4 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -8,9 +8,8 @@ endif # Work out the OS if we haven't already OS_ID ?= $(shell grep '^ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g') -DOC_DEB_DEPENDS = enchant libenchant-dev -DOC_RPM_DEPENDS = enchant libenchant-dev - +DOC_DEB_DEPENDS = enchant +DOC_RPM_DEPENDS = enchant # You can set these variables from the command line. SPHINXOPTS = @@ -28,6 +27,9 @@ help: # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile + @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + +spell: @echo "Checking whether dependencies for Docs are installed..." ifeq ($(OS_ID),ubuntu) @set -e; inst=; \ @@ -41,7 +43,4 @@ ifeq ($(OS_ID),ubuntu) else ifneq ("$(wildcard /etc/redhat-release)","") @sudo yum install $(CONFIRM) $(DOC_RPM_DEPENDS) endif -# 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) + @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" -W -b spelling $(O) |