diff options
author | Vincenzo Mantova <1962985+xworld21@users.noreply.github.com> | 2023-07-10 21:28:36 +0100 |
---|---|---|
committer | Vincenzo Mantova <1962985+xworld21@users.noreply.github.com> | 2023-07-29 18:31:17 +0200 |
commit | 01af940407e412979718970acc0072a49a9e282e (patch) | |
tree | 4b7d03d0e89101e3ab0cc5437c815e3005dbc5ad /doc | |
parent | 56af1c19817f4a3a58937a7918e140a9797aa1b1 (diff) |
texlive.combine: include packages with man pages by default
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 } |