X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=glafp-utils%2Fsgmlverb%2Fsgmlverb.lex;h=812cb8416c1fb32622824c7d40d2774de79061bb;hp=c60520035aa480e356a6a2c9c8990cbe2d7d47e4;hb=28a464a75e14cece5db40f2765a29348273ff2d2;hpb=3dd3ead1516df85ad02e729c301e87ab1926ffb0

diff --git a/glafp-utils/sgmlverb/sgmlverb.lex b/glafp-utils/sgmlverb/sgmlverb.lex
index c605200..812cb84 100644
--- a/glafp-utils/sgmlverb/sgmlverb.lex
+++ b/glafp-utils/sgmlverb/sgmlverb.lex
@@ -14,11 +14,13 @@
 %START  NORM  VERB  VERBENV
 sp			[ \t]*
 nl			{sp}\n{sp}
+comment                 \%.*$
 miranda			([0-9]+(\-([0-9]+)?)?)?>
 %{
 #define PUSH		states[top++] =
 #define POP		BEGIN states[--top]
 #define yywrap() 	1
+#define YY_SKIP_YYWRAP
 %}
 %%
 			int states[256];
@@ -27,6 +29,8 @@ miranda			([0-9]+(\-([0-9]+)?)?)?>
 			top = 0;
 <NORM>@@		{ printf ("@"); }
 <NORM>@			{ printf ("<tt>"); PUSH NORM;  BEGIN VERB; }
+<NORM>\\%               { printf ("&percnt;"); }
+<NORM>{comment}         { }
 <VERB>@			{ printf ("</tt>");  POP; }
 <VERB>@@		{ printf ("@"); }
 <VERB>\>		{ printf ("&gt;"); }
@@ -38,11 +42,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