From: simonm <unknown>
Date: Mon, 2 Feb 1998 16:39:17 +0000 (+0000)
Subject: [project @ 1998-02-02 16:39:17 by simonm]
X-Git-Tag: Approx_2487_patches~1018
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=5e553db91f8d3a8489e5cd1d1c8d517cc5dff449;p=ghc-hetmet.git

[project @ 1998-02-02 16:39:17 by simonm]
Remove comments of the '%... \n' variety.
---

diff --git a/glafp-utils/sgmlverb/sgmlverb.lex b/glafp-utils/sgmlverb/sgmlverb.lex
index c605200..daa20ae 100644
--- a/glafp-utils/sgmlverb/sgmlverb.lex
+++ b/glafp-utils/sgmlverb/sgmlverb.lex
@@ -14,6 +14,7 @@
 %START  NORM  VERB  VERBENV
 sp			[ \t]*
 nl			{sp}\n{sp}
+comment                 \%.*$
 miranda			([0-9]+(\-([0-9]+)?)?)?>
 %{
 #define PUSH		states[top++] =
@@ -27,6 +28,7 @@ miranda			([0-9]+(\-([0-9]+)?)?)?>
 			top = 0;
 <NORM>@@		{ printf ("@"); }
 <NORM>@			{ printf ("<tt>"); PUSH NORM;  BEGIN VERB; }
+<NORM>{comment}         { }
 <VERB>@			{ printf ("</tt>");  POP; }
 <VERB>@@		{ printf ("@"); }
 <VERB>\>		{ printf ("&gt;"); }