diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
commit | ca32f08966f1b51fcb19460f0996bb0c4048e6fe (patch) | |
tree | ec04cc15b867bc21eedca904cea9af0254531a11 /math/texvc.ml | |
parent | a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c (diff) |
Update to MediaWiki 1.18.0
* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing
Diffstat (limited to 'math/texvc.ml')
-rw-r--r-- | math/texvc.ml | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/math/texvc.ml b/math/texvc.ml deleted file mode 100644 index 33a14b7b..00000000 --- a/math/texvc.ml +++ /dev/null @@ -1,58 +0,0 @@ -(* vim: set sw=8 ts=8 et: *) -exception LexerException of string - -(* *) -let lexer_token_safe lexbuf = - try Lexer.token lexbuf - with Failure s -> raise (LexerException s) - -(* *) -let render tmppath finalpath tree backcolor = - let outtex = Util.mapjoin Texutil.render_tex tree in - let md5 = Digest.to_hex (Digest.string outtex) in - begin - let mathml = Mathml.render tree - and html = Html.render tree - in print_string (match (html,!Html.conservativeness,mathml) with - None,_,None -> "+" ^ md5 - | Some h,Html.CONSERVATIVE,None -> "c" ^ md5 ^ h - | Some h,Html.MODERATE,None -> "m" ^ md5 ^ h - | Some h,Html.LIBERAL,None -> "l" ^ md5 ^ h - | Some h,Html.CONSERVATIVE,Some m -> "C" ^ md5 ^ h ^ "\000" ^ m - | Some h,Html.MODERATE,Some m -> "M" ^ md5 ^ h ^ "\000" ^ m - | Some h,Html.LIBERAL,Some m -> "L" ^ md5 ^ h ^ "\000" ^ m - | None,_,Some m -> "X" ^ md5 ^ m - ); - Render.render tmppath finalpath outtex md5 backcolor - end - -(* TODO: document - * Arguments: - * 1st : - * 2nd : - * 3rd : - * 4th : encoding (Default: UTF-8) - * 5th : color (Default: rgb 1.0 1.0 1.0) - * - * Output one character: - * S : Parsing error - * E : Lexer exception raised - * F : TeX function not recognized - * - : Generic/Default failure code. Might be an invalid argument, - * output file already exist, a problem with an external - * command ... - * *) -let _ = - Texutil.set_encoding (try Sys.argv.(4) with _ -> "UTF-8"); - try render Sys.argv.(1) Sys.argv.(2) ( - Parser.tex_expr lexer_token_safe ( - Lexing.from_string Sys.argv.(3)) - ) (try Sys.argv.(5) with _ -> "rgb 1.0 1.0 1.0") - with Parsing.Parse_error -> print_string "S" - | LexerException _ -> print_string "E" - | Texutil.Illegal_tex_function s -> print_string ("F" ^ s) - | Util.FileAlreadyExists -> print_string "-" - | Invalid_argument _ -> print_string "-" - | Failure _ -> print_string "-" - | Render.ExternalCommandFailure s -> () - | _ -> print_string "-" |