diff options
author | Karl Berry <karl@freefriends.org> | 2024-05-01 20:15:29 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-05-01 20:15:29 +0000 |
commit | d7411a50466d793d9c96b148b9baf4626a1d14d2 (patch) | |
tree | 81e2ce3a51170e22a6bbdecc23493eea3f52999a /Master/texmf-dist/source/luatex/luamplib/Makefile | |
parent | ab250ac510164e286c020c1b64d7ee06e9760848 (diff) |
luamplib (1may24)
git-svn-id: svn://tug.org/texlive/trunk@71148 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/luatex/luamplib/Makefile')
-rw-r--r-- | Master/texmf-dist/source/luatex/luamplib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/luatex/luamplib/Makefile b/Master/texmf-dist/source/luatex/luamplib/Makefile index f4d638764e7..f41c9a6339f 100644 --- a/Master/texmf-dist/source/luatex/luamplib/Makefile +++ b/Master/texmf-dist/source/luatex/luamplib/Makefile @@ -36,7 +36,7 @@ world: all ctan .PHONY: all doc unpack ctan tds check world %.pdf: %.dtx - latexmk -lualatex -recorder- -silent $< >/dev/null + @texfot --quiet --tee=/dev/null --ignore "^Overfull" --ignore "^Underfull" lualatex -recorder $< $(UNPACKED): $(DTX) luatex -interaction=batchmode $< >/dev/null |