diff options
Diffstat (limited to 'support/cluttex/doc/Makefile')
-rw-r--r-- | support/cluttex/doc/Makefile | 7 |
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 |