diff options
Diffstat (limited to 'pkgs/tools/typesetting/tex/texlive/tl2nix.sed')
| -rw-r--r-- | pkgs/tools/typesetting/tex/texlive/tl2nix.sed | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/tools/typesetting/tex/texlive/tl2nix.sed b/pkgs/tools/typesetting/tex/texlive/tl2nix.sed index 7c8520707a930..244f8fbcc15f7 100644 --- a/pkgs/tools/typesetting/tex/texlive/tl2nix.sed +++ b/pkgs/tools/typesetting/tex/texlive/tl2nix.sed @@ -91,6 +91,7 @@ $a} t next-doc # loop if the previous lines matched / (texmf-dist|RELOC)\/doc\/man\//i\ hasManpages = true; + / (texmf-dist|RELOC)\/doc\/info\//i\ hasInfo = true; D # restart cycle } |