From: simonm <unknown>
Date: Wed, 24 Sep 1997 16:06:34 +0000 (+0000)
Subject: [project @ 1997-09-24 16:06:34 by simonm]
X-Git-Tag: Approx_2487_patches~1467
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=2bc355fa50e75e512ddd887bd5567aba184f3f0a;p=ghc-hetmet.git

[project @ 1997-09-24 16:06:34 by simonm]
couple of minor patches to verbatim from Simon P.J.'s copy.
---

diff --git a/glafp-utils/verbatim/verbatim.lex b/glafp-utils/verbatim/verbatim.lex
index bafcfab..bac87cc 100644
--- a/glafp-utils/verbatim/verbatim.lex
+++ b/glafp-utils/verbatim/verbatim.lex
@@ -42,9 +42,9 @@ miranda			([0-9]+(\-([0-9]+)?)?)?>
 <VERB>\{		{ printf ("{\\char'173}"); }
 <VERB>\}		{ printf ("{\\char'175}"); }
 
-<NORM>^@\n		{ printf( "\\begin{verbatim}\n" ); 
+<NORM>^@{sp}\n		{ printf( "\\begin{verbatim}\n" ); 
 			  PUSH NORM; BEGIN VERBATIMSIM; }
-<VERBATIMSIM>^@\n	{ printf( "\\end{verbatim}\n" ); POP; }
+<VERBATIMSIM>^@{sp}\n	{ printf( "\\end{verbatim}\n" ); POP; }
 
 <NORM>\\"begin{verbatim}"	{ printf( "\\begin{verbatim}" ); 
 				  PUSH NORM; BEGIN VERBATIM; }