diff options
| author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2023-08-04 22:31:30 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-04 22:31:30 -0400 |
| commit | aa725d5a5bc3e782cf7cb872616c9c3cf5330162 (patch) | |
| tree | 9c862c747c0ab07d08bfe48112627d5a82bc3276 /doc | |
| parent | 420250840fc7a672563c3242b95d30e116d30146 (diff) | |
| parent | 9822bbfc339554d90bc12ae9cf866e1b07e50991 (diff) | |
Merge pull request #225503 from xworld21/texlive-binaries-from-tlpdb
texlive: generate bin containers from tlpdb
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/languages-frameworks/texlive.section.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/texlive.section.md b/doc/languages-frameworks/texlive.section.md index 72ab14126bedc..a4c81daa54bbb 100644 --- a/doc/languages-frameworks/texlive.section.md +++ b/doc/languages-frameworks/texlive.section.md @@ -22,7 +22,7 @@ Since release 15.09 there is a new TeX Live packaging that lives entirely under texlive.combine { # inherit (texlive) whatever-you-want; pkgFilter = pkg: - pkg.tlType == "run" || pkg.tlType == "bin" || pkg.pname == "cm-super"; + pkg.tlType == "run" || pkg.tlType == "bin" || pkg.hasManpages || pkg.pname == "cm-super"; # elem tlType [ "run" "bin" "doc" "source" ] # there are also other attributes: version, name } |