diff options
Diffstat (limited to 'Master/texmf-dist/doc/support/texlogsieve/README.md')
| -rw-r--r-- | Master/texmf-dist/doc/support/texlogsieve/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/support/texlogsieve/README.md b/Master/texmf-dist/doc/support/texlogsieve/README.md index 23939d4388e..f227bce2f7d 100644 --- a/Master/texmf-dist/doc/support/texlogsieve/README.md +++ b/Master/texmf-dist/doc/support/texlogsieve/README.md @@ -9,6 +9,7 @@ report. It is a `texlua` script, similar in spirit to tools such as [`textlog_extract`](https://ctan.org/pkg/texlog-extract), [`texlogparser`](https://github.com/reitzig/texlogparser), [`texlogfilter`](https://gricad-gitlab.univ-grenoble-alpes.fr/labbeju/latex-packages), +[`pulp`](https://github.com/dmwit/pulp), and others. Highlights: * Two reports: the most important messages from the log file followed by |