From: simonm <unknown>
Date: Wed, 7 Oct 1998 16:33:23 +0000 (+0000)
Subject: [project @ 1998-10-07 16:33:23 by simonm]
X-Git-Tag: Approx_2487_patches~241
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=754f262e6f15785e6b718abdc2f041c4feddee37;p=ghc-hetmet.git

[project @ 1998-10-07 16:33:23 by simonm]
mangle percent symbols properly.
---

diff --git a/glafp-utils/sgmlverb/sgmlverb.lex b/glafp-utils/sgmlverb/sgmlverb.lex
index d6ce058..944de79 100644
--- a/glafp-utils/sgmlverb/sgmlverb.lex
+++ b/glafp-utils/sgmlverb/sgmlverb.lex
@@ -28,6 +28,7 @@ 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 ("@"); }