···

       
34
       
34
       
 
       
    description = "A system to convert (La)TeX documents to HTML and various other formats";

     

       
35
       
35
       
 
       
    license = stdenv.lib.licenses.lppl12;

     

       
36
       
36
       
 
       
    platforms = stdenv.lib.platforms.unix;

     

       
37
       
37
       
+
       
    broken = true; # use the one from texlive.tex4ht

     

       
37
       
38
       
 
       
  };

     

       
38
       
39
       
 
       
}

     

···

       
17815
       
17815
       
 
       


     

       
17816
       
17816
       
 
       
  tewi-font = callPackage ../data/fonts/tewi  {};

     

       
17817
       
17817
       
 
       


     

       
17818
       
17818
       
-
       
  tex4ht = callPackage ../tools/typesetting/tex/tex4ht { };

     

       
17818
       
17818
       
+
       
  tex4ht = callPackage ../tools/typesetting/tex/tex4ht { tetex = null; };

     

       
17819
       
17819
       
 
       


     

       
17820
       
17820
       
 
       
  texFunctions = callPackage ../tools/typesetting/tex/nix pkgs;

     

       
17821
       
17821