From: sof <unknown>
Date: Thu, 19 Feb 1998 20:52:19 +0000 (+0000)
Subject: [project @ 1998-02-19 20:52:19 by sof]
X-Git-Tag: Approx_2487_patches~945
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=38472d638b6813f3122f80ee11ced7c4443e7a2a;hp=a688e396ba614be485d9cd15e19a6b6afa49ba5e;p=ghc-hetmet.git

[project @ 1998-02-19 20:52:19 by sof]
- Handle \begin{code} ... \end{code} + <code> ... </code>
---

diff --git a/glafp-utils/sgmlverb/sgmlverb.lex b/glafp-utils/sgmlverb/sgmlverb.lex
index daa20ae..d6ce058 100644
--- a/glafp-utils/sgmlverb/sgmlverb.lex
+++ b/glafp-utils/sgmlverb/sgmlverb.lex
@@ -40,11 +40,15 @@ miranda			([0-9]+(\-([0-9]+)?)?)?>
 <VERB>\~		{ printf ("&tilde;"); }
 <VERB>\^		{ printf ("&circ;"); }
 
-<NORM>\<verb\>		{ printf ("<verb>"); PUSH NORM; BEGIN VERBENV; }
-<VERBENV>\<\/verb\>	{ printf ("</verb>"); POP; }
-<VERBENV>\&\&		{ printf ("&"); }
-<VERBENV>\&		{ printf ("&ero;"); }
-<VERBENV>\<\/		{ printf ("&etago;"); }
+<NORM>\<verb\>		 { printf ("<verb>"); PUSH NORM; BEGIN VERBENV; }
+<NORM>\<code\>		 { printf ("<code>"); PUSH NORM; BEGIN VERBENV; }
+<NORM>\\begin\{code\}	 { printf ("<code>"); PUSH NORM; BEGIN VERBENV; }
+<VERBENV>\<\/verb\>	 { printf ("</verb>"); POP; }
+<VERBENV>\<\/code\>	 { printf ("</code>"); POP; }
+<VERBENV>\<\\end\{code\} { printf ("</code>"); POP; }
+<VERBENV>\&\&		 { printf ("&"); }
+<VERBENV>\&		 { printf ("&ero;"); }
+<VERBENV>\<\/		 { printf ("&etago;"); }
 
 %%
 int