diff options
author | Norbert Preining <norbert@preining.info> | 2023-11-19 03:01:17 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-11-19 03:01:17 +0000 |
commit | aa94b613f51dfa2b65c607585727b66875e765d8 (patch) | |
tree | 5628f2c082b66f54a44ba8064fcc0203823b9c92 /support/cluttex/doc/Makefile | |
parent | bcd1a2a7dfe36b38f10a8fa23b4b6f0c325ca899 (diff) |
CTAN sync 202311190301
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 |