aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d038522..b127194 100644
--- a/Makefile
+++ b/Makefile
@@ -98,6 +98,8 @@ public: l10n-gen TODOs.md $(manpages) public/makefile.svg
-N '$(NAME_UC)' -n '$(NAME)' -m '$(MAILING_LIST)' -o public
sh doc/manpages.sh -Ho public $(manpages)
+dev: all check public
+
spellcheck: public
sh aux/workflow/assert-spelling.sh -l '$(TRANSLATIONS) en' \
$$(find public -type f -name '*.html')