diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/Makefile | 4 |
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 | ||
| 56 | stylecheck: | ||
| 57 | vale sync | ||
| 58 | vale $(VALEOPTS) $(VALEDOCS) | ||
| 59 | |||
| 60 | epub: $(PNGs) | 56 | epub: $(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) |