From: Brion Vibber <brion@users.mediawiki.org>
Date: Mon, 19 May 2003 22:40:16 +0000 (+0000)
Subject: Quick patch for dollar-sign as dollar or backslash-dollar; from taw
X-Git-Tag: 1.1.0~541
X-Git-Url: https://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=d5b0758254587fef851d7c7ee79fd85812055e39;p=lhc%2Fweb%2Fwiklou.git

Quick patch for dollar-sign as dollar or backslash-dollar; from taw
---

diff --git a/math/lexer.mll b/math/lexer.mll
index ff871cbd10..c56c30b9a7 100644
--- a/math/lexer.mll
+++ b/math/lexer.mll
@@ -61,6 +61,7 @@ rule token = parse
   | "\\_" 			{ LITERAL (HTMLABLEC(FONT_UFH,"\\_","_")) }
   | "\\#" 			{ LITERAL (HTMLABLE (FONT_UFH,"\\#","#")) }
   | "\\%"			{ LITERAL (HTMLABLE (FONT_UFH,"\\%","%")) }
+  | "\\$"			{ LITERAL (HTMLABLE (FONT_UFH,"\\$","$")) }
   | "&"				{ NEXT_CELL }
   | "\\\\"			{ NEXT_ROW }
   | "\\begin{matrix}"		{ Texutil.tex_use_ams(); BEGIN__MATRIX }
@@ -80,6 +81,7 @@ rule token = parse
   | '>'				{ LITERAL (HTMLABLEC(FONT_UFH,">"," &gt; ")) }
   | '<'				{ LITERAL (HTMLABLEC(FONT_UFH,"<"," &lt; ")) }
   | '%'				{ LITERAL (HTMLABLEC(FONT_UFH,"\\%","%")) }
+  | '$'				{ LITERAL (HTMLABLEC(FONT_UFH,"\\$","$")) }
   | '~'				{ LITERAL (HTMLABLE (FONT_UF, "~","&nbsp;")) }
   | '['				{ DELIMITER (HTMLABLEC(FONT_UFH,"[","[")) }
   | ']'				{ SQ_CLOSE }