summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/Makefile4
1 files changed, 0 insertions, 4 deletions
diff --git a/documentation/Makefile b/documentation/Makefile
index c930d2d280..f3b775b3ec 100644
--- a/documentation/Makefile
+++ b/documentation/Makefile
@@ -53,10 +53,6 @@ stylecheck:
53 vale sync 53 vale sync
54 vale $(VALEOPTS) $(VALEDOCS) 54 vale $(VALEOPTS) $(VALEDOCS)
55 55
56stylecheck:
57 vale sync
58 vale $(VALEOPTS) $(VALEDOCS)
59
60epub: $(PNGs) 56epub: $(PNGs)
61 $(SOURCEDIR)/set_versions.py 57 $(SOURCEDIR)/set_versions.py
62 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) 58 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)