nixpkgs/pkgs/tools/typesetting/tex/tex4ht
2013-10-20 19:15:11 +04:00
..
default.nix Apparently fix texinfo5 with fresh TeXLive 2013-10-20 19:15:11 +04:00