[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 (file)
--- 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; }