diff options
Diffstat (limited to 'documentation/Makefile')
-rw-r--r-- | documentation/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index f3b775b3ec..189bd1dfac 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
@@ -53,6 +53,9 @@ stylecheck: | |||
53 | vale sync | 53 | vale sync |
54 | vale $(VALEOPTS) $(VALEDOCS) | 54 | vale $(VALEOPTS) $(VALEDOCS) |
55 | 55 | ||
56 | sphinx-lint: | ||
57 | sphinx-lint $(SOURCEDIR) | ||
58 | |||
56 | epub: $(PNGs) | 59 | epub: $(PNGs) |
57 | $(SOURCEDIR)/set_versions.py | 60 | $(SOURCEDIR)/set_versions.py |
58 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) | 61 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |