diff options
author | Karl Berry <karl@freefriends.org> | 2022-01-28 22:36:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-01-28 22:36:18 +0000 |
commit | 8e0222695a489184e3cc92e2206db971a5ac48d7 (patch) | |
tree | 99a87c1d1a3890dcb28b20d17ae8d9087dae5abf /Master/tlpkg/tlpsrc | |
parent | 80c6e1a9d95b03212dfaf529e0266286828573e0 (diff) |
texlogfilter (28jan22)
git-svn-id: svn://tug.org/texlive/trunk@61780 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-binextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/texlogfilter.tlpsrc | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-binextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-binextra.tlpsrc index 225879f1143..6bf37ffbeaf 100644 --- a/Master/tlpkg/tlpsrc/collection-binextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-binextra.tlpsrc @@ -95,6 +95,7 @@ depend texfot depend texlive-scripts-extra depend texliveonfly depend texloganalyser +depend texlogfilter depend texlogsieve depend texosquery depend texplate diff --git a/Master/tlpkg/tlpsrc/texlogfilter.tlpsrc b/Master/tlpkg/tlpsrc/texlogfilter.tlpsrc new file mode 100644 index 00000000000..dca338c719c --- /dev/null +++ b/Master/tlpkg/tlpsrc/texlogfilter.tlpsrc @@ -0,0 +1 @@ +binpattern f bin/${ARCH}/${PKGNAME} |