summaryrefslogtreecommitdiff
path: root/support/cluttex/doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'support/cluttex/doc/Makefile')
-rw-r--r--support/cluttex/doc/Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/support/cluttex/doc/Makefile b/support/cluttex/doc/Makefile
index 0685cc8c58..2260a0079a 100644
--- a/support/cluttex/doc/Makefile
+++ b/support/cluttex/doc/Makefile
@@ -1,4 +1,4 @@
-all: cluttex.pdf cluttex-ja.pdf
+all: cluttex.pdf cluttex-ja.pdf lint-manual
cluttex.pdf: cluttex.tex
cluttex -e pdflatex -o $@ --make-depends=cluttex.pdf.dep $<
@@ -10,7 +10,10 @@ clean-outdir:
-rm -rf $(shell cluttex -e pdflatex --print-output-directory cluttex.tex)
-rm -rf $(shell cluttex -e lualatex --print-output-directory cluttex-ja.tex)
-.PHONY: all clean-outdir
+lint-manual:
+ mandoc -Tlint cluttex.1
+
+.PHONY: all clean-outdir lint-manual
-include cluttex.pdf.dep
-include cluttex-ja.pdf.dep