diff options
Diffstat (limited to 'math/texvc_tex.ml')
-rw-r--r-- | math/texvc_tex.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/math/texvc_tex.ml b/math/texvc_tex.ml deleted file mode 100644 index 30c0f671..00000000 --- a/math/texvc_tex.ml +++ /dev/null @@ -1,3 +0,0 @@ -Texutil.set_encoding (try Sys.argv.(2) with _ -> "UTF-8"); -try print_string (Util.mapjoin Texutil.render_tex (Parser.tex_expr Lexer.token (Lexing.from_string Sys.argv.(1)))) -with _ -> () |